Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/core.c nvme_stop_ctrl() -> (struct nvme_ctrl_ops)->stop_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->dhchap_auth_work.lockdep_map->name 0-255
PARAM_VALUE 0 ctrl->fw_act_work.lockdep_map->name 0-255
PARAM_VALUE 0 ctrl->ops 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->stop_ctrl 3993000789289922560,4364300601627938816
BUF_SIZE 0 ctrl s32min-(-1),1-s32max
BUF_SIZE 0 ctrl s32min-(-1),1-s32max
CAPPED_DATA 0 &ctrl->async_event_work 1
CAPPED_DATA 0 &ctrl->fw_act_work 1
DATA_SOURCE 0 ctrl $0
CONTAINER 0 -88-232+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex