Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/target/pci-epf.c nvmet_pci_epf_enable_ctrl() -> nvmet_pci_epf_clear_ctrl_config()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->tctrl 1-u64max
CAPPED_DATA 0 ctrl->tctrl 1
DATA_SOURCE 0 ctrl $0
POWER_OF_TWO 0 *ctrl
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/nvme/target/pci-epf.c nvmet_pci_epf_init_bar() -> nvmet_pci_epf_clear_ctrl_config()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->cap 65536-u64max
PARAM_VALUE 0 ctrl->tctrl 4096-ptr_max
BUF_SIZE 0 ctrl 872
BUF_SIZE 0 ctrl->dev 1616
BUF_SIZE 0 ctrl->nvme_epf s32min-(-2),1-s32max
BUF_SIZE 0 ctrl->tctrl 13696
BUF_SIZE 0 ctrl->tctrl->drvdata 872
BUF_SIZE 0 ctrl->tctrl->ops 152
CAPPED_DATA 0 ctrl->nr_queues 1
CAPPED_DATA 0 ctrl->port->disc_addr.portid 1
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->cap 0x10000,0xffffffffffffffff
MEM_ZERO 0 ctrl
MEM_ZERO 0 ctrl->irq_lock.dep_map.key
MEM_ZERO 0 ctrl->irq_lock.dep_map.name
MEM_ZERO 0 ctrl->irq_lock.wait_lock.dep_map.key
MEM_ZERO 0 ctrl->irq_lock.wait_lock.dep_map.name
MEM_ZERO 0 ctrl->irq_lock.wait_lock.owner
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctrl->nr_queues
NO_OVERFLOW_SIMPLE 0 ctrl->tctrl->ctrl_key->len
NO_OVERFLOW_SIMPLE 0 ctrl->tctrl->host_key->len
LOCK2 &epf->lock
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &epc->list_lock
TYPE_LOCK (struct pci_epf)->lock

drivers/nvme/target/pci-epf.c nvmet_pci_epf_stop_ctrl() -> nvmet_pci_epf_clear_ctrl_config()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
BUF_SIZE 0 ctrl (-1),872
BUF_SIZE 0 ctrl (-1),872
CAPPED_DATA 0 ctrl->nr_queues 1
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &epc->list_lock
HALF_LOCKED2 &epf->lock
TYPE_LOCK (struct pci_epf)->lock