Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/notify.c __scmi_enable_evt() -> (struct scmi_event_ops)->set_notify_enabled()

Type Parameter Key Value
PARAM_VALUE 1 evt_id 0-1
PARAM_VALUE 3 enable 1
DATA_SOURCE 2 src_id $1 [m]
CONTAINER 0 *(-16-8+328) $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &r_evt->sources_mtx
HALF_LOCKED2 &ni->pending_mtx
TYPE_LOCK (struct scmi_registered_event)->sources_mtx

drivers/firmware/arm_scmi/notify.c __scmi_enable_evt() -> (struct scmi_event_ops)->set_notify_enabled()

Type Parameter Key Value
PARAM_VALUE 1 evt_id 0-1
PARAM_VALUE 3 enable 0
DATA_SOURCE 2 src_id $1 [m]
CONTAINER 0 *(-16-8+328) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &r_evt->sources_mtx
HALF_LOCKED2 &ni->pending_mtx
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &r_evt->proto->registered_mtx
TYPE_LOCK (struct scmi_registered_event)->sources_mtx