Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/pci/endpoint/functions/pci-epf-ntb.c epf_ntb_configure_msix() -> pci_epc_map_addr()

Type Parameter Key Value
CAPPED_DATA 4 pci_addr 1
CAPPED_DATA 4 pci_addr 1
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
UNITS 3 phys_addr unit_byte
UNITS 5 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/functions/pci-epf-ntb.c epf_ntb_configure_mw() -> pci_epc_map_addr()

Type Parameter Key Value
CAPPED_DATA 5 size 1
CAPPED_DATA 5 size 1
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
UNITS 3 phys_addr unit_byte
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/pci-epc-core.c pci_epc_mem_map() -> pci_epc_map_addr()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->max_functions 1-255
PARAM_VALUE 0 epc->max_vfs 0,4096-ptr_max
PARAM_VALUE 0 epc->num_windows 1-u32max
PARAM_VALUE 0 epc->ops 4096-ptr_max
PARAM_VALUE 0 epc->ops->align_addr 0,3385876029412794368,5651512979832377344
PARAM_VALUE 0 epc->ops->map_addr 4096-ptr_max
PARAM_VALUE 1 func_no 0-254
CAPPED_DATA 0 epc->num_windows 1
CAPPED_DATA 1 func_no 1
CAPPED_DATA 2 vfunc_no 1
CAPPED_DATA 5 size 1
CAPPED_DATA 5 size 1
DATA_SOURCE 0 epc $0
DATA_SOURCE 1 func_no $1
DATA_SOURCE 2 vfunc_no $2
PARAM_COMPARE 0 epc->max_functions > $1
PARAM_COMPARE 1 func_no < $0->max_functions
CONSTRAINT 1 func_no <2180
RX_PATH
TASK_NOT_RUNNING
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
UNITS 4 pci_addr unit_byte
UNITS 5 size unit_byte
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/functions/pci-epf-mhi.c __pci_epf_mhi_alloc_map() -> pci_epc_map_addr()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->num_windows 1-u32max
CAPPED_DATA 0 epc->num_windows 1
CAPPED_DATA 5 size 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
UNITS 4 pci_addr unit_byte
UNITS 5 size unit_byte
HALF_LOCKED2 &epf_mhi->lock

drivers/pci/endpoint/functions/pci-epf-vntb.c epf_ntb_configure_mw() -> pci_epc_map_addr()

Type Parameter Key Value
UNITS 1 func_no unit_bit
UNITS 2 vfunc_no unit_bit
HALF_LOCKED2 &pool->lock