Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/nvme/target/pci-epf.c nvmet_pci_epf_mem_map() -> pci_epc_mem_map()

Type Parameter Key Value
PARAM_VALUE 5 map 4096-ptr_max
DATA_SOURCE 3 pci_addr $1
DATA_SOURCE 4 pci_size $2
DATA_SOURCE 5 map $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
UNITS 3 pci_addr unit_byte
UNITS 4 pci_size unit_byte
HALF_LOCKED2 &nvme_epf->mmio_lock
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/functions/pci-epf-test.c pci_epf_test_copy() -> pci_epc_mem_map()

Type Parameter Key Value
PARAM_VALUE 0 epc->ops->map_addr 4096-ptr_max
PARAM_VALUE 0 epc->ops->unmap_addr 4096-ptr_max
PARAM_VALUE 4 pci_size 1-u64max
PARAM_VALUE 5 map 217907152988667904
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/functions/pci-epf-test.c pci_epf_test_copy() -> pci_epc_mem_map()

Type Parameter Key Value
PARAM_VALUE 0 epc->lock.dep_map->name 0-255
PARAM_VALUE 0 epc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 epc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 epc->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 epc->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 epc->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 epc->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 epc->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 epc->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 epc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 epc->max_functions 1-255
PARAM_VALUE 0 epc->num_windows 1-u32max
PARAM_VALUE 0 epc->ops->map_addr 4096-ptr_max
PARAM_VALUE 0 epc->ops->unmap_addr 4096-ptr_max
PARAM_VALUE 1 func_no 0-254
PARAM_VALUE 4 pci_size 1-u64max
PARAM_VALUE 5 map 6423042923633922048
CAPPED_DATA 1 func_no 1
CAPPED_DATA 2 vfunc_no 1
CONSTRAINT 1 func_no <2180
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/functions/pci-epf-test.c pci_epf_test_read() -> pci_epc_mem_map()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->ops->map_addr 4096-ptr_max
PARAM_VALUE 0 epc->ops->unmap_addr 4096-ptr_max
PARAM_VALUE 4 pci_size 1-u64max
PARAM_VALUE 5 map 4585465124961742848
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/functions/pci-epf-test.c pci_epf_test_write() -> pci_epc_mem_map()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->ops->map_addr 4096-ptr_max
PARAM_VALUE 0 epc->ops->unmap_addr 4096-ptr_max
PARAM_VALUE 4 pci_size 1-u64max
PARAM_VALUE 5 map 2623080712706293760
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
HALF_LOCKED2 &pool->lock