Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/raw_mode.c scmi_dbg_raw_mode_message_poll() -> scmi_test_dbg_raw_common_poll()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
PARAM_VALUE 2 idx 0
DATA_SOURCE 0 filp $0
DATA_SOURCE 1 wait $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 wait->_key 0,8-u32max
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/firmware/arm_scmi/raw_mode.c scmi_test_dbg_raw_mode_errors_poll() -> scmi_test_dbg_raw_common_poll()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
PARAM_VALUE 2 idx 2
DATA_SOURCE 0 filp $0
DATA_SOURCE 1 wait $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 wait->_key 0,8-u32max
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/firmware/arm_scmi/raw_mode.c scmi_test_dbg_raw_mode_notif_poll() -> scmi_test_dbg_raw_common_poll()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
PARAM_VALUE 2 idx 1
DATA_SOURCE 0 filp $0
DATA_SOURCE 1 wait $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 wait->_key 0,8-u32max
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu