Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/target/pr.c nvmet_pr_resv_released() -> nvmet_pr_add_resv_log()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 log_type 2
CAPPED_DATA 0 &ctrl->subsys_entry 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &subsys->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &pr->pr_sem
TYPE_LOCK (struct nvmet_pr)->pr_sem
TYPE_LOCK (struct nvmet_subsys)->lock

drivers/nvme/target/pr.c nvmet_pr_send_event_to_host() -> nvmet_pr_add_resv_log()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 log_type 1,3
CAPPED_DATA 0 &ctrl->subsys_entry 1
DATA_SOURCE 1 log_type $2
HARD_MAX 1 log_type 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pr->pr_sem
LOCK2 &subsys->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nvmet_pr)->pr_sem
TYPE_LOCK (struct nvmet_subsys)->lock