pci_epc_mem_unmap identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/pci/endpoint/pci-epc-core.c, line 606

Defined in 1 files as a prototype:

include/linux/pci-epc.h, line 419 (as a prototype)

Defined in 1 files as a function:

drivers/pci/endpoint/pci-epc-core.c, line 616 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/nvme/target/pci-epf.c nvmet_pci_epf_mem_unmap() -> pci_epc_mem_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	3	map	4096-ptr_max
DATA_SOURCE	3	map	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	func_no	unit_bit
UNITS	2	vfunc_no	unit_bit
HALF_LOCKED2		&nvme_epf->mmio_lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	4096-ptr_max
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->max_vfs	0,4096-ptr_max
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	3	map	217907152988667904
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	4096-ptr_max
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->max_vfs	0,4096-ptr_max
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	3	map	6423042923633922048
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	4096-ptr_max
PARAM_VALUE	0	epc->lock.dep_map->name	0-255
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->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->map_addr	4096-ptr_max
PARAM_VALUE	0	epc->ops->unmap_addr	4096-ptr_max
PARAM_VALUE	1	func_no	0-254
PARAM_VALUE	3	map	217907152988667904
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

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->max_vfs	0,4096-ptr_max
PARAM_VALUE	0	epc->num_windows	1-u32max
PARAM_VALUE	0	epc->ops->map_addr	1053204511387705344,2709111941202911232,5136522960587673600,7036478830483693568
PARAM_VALUE	0	epc->ops->unmap_addr	428060057193422848,1442391499476242432,4915520169402458112,7250273557819330560
PARAM_VALUE	1	func_no	0-254
PARAM_VALUE	3	map	6423042923633922048
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	0,4096-u64max
PARAM_VALUE	0	epc->lock.dep_map->name	0-255
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->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->map_addr	1053204511387705344,2709111941202911232,5136522960587673600,7036478830483693568
PARAM_VALUE	0	epc->ops->unmap_addr	428060057193422848,1442391499476242432,4915520169402458112,7250273557819330560
PARAM_VALUE	1	func_no	0-254
PARAM_VALUE	3	map	217907152988667904
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	4096-ptr_max
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->max_vfs	0,4096-ptr_max
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	3	map	4585465124961742848
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	4096-ptr_max
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->ops->map_addr	4096-ptr_max
PARAM_VALUE	0	epc->ops->unmap_addr	4096-ptr_max
PARAM_VALUE	3	map	4585465124961742848
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	4096-ptr_max
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->max_vfs	0,4096-ptr_max
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	3	map	2623080712706293760
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
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_unmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	epc	4096-ptr_max
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->ops->map_addr	4096-ptr_max
PARAM_VALUE	0	epc->ops->unmap_addr	4096-ptr_max
PARAM_VALUE	3	map	2623080712706293760
PARAM_VALUE	3	map->virt_addr	4096-ptr_max
PARAM_VALUE	3	map->virt_base	1-u64max
CAPPED_DATA	0	epc->num_windows	1
CAPPED_DATA	1	func_no	1
CAPPED_DATA	2	vfunc_no	1
PARAM_COMPARE	0	epc->max_functions	> $1
PARAM_COMPARE	1	func_no	< $0->max_functions
CONSTRAINT	1	func_no	<2180
MEM_ZERO	3	map
NOCHECK_CALL
UNITS	1	func_no	unit_bit
UNITS	2	vfunc_no	unit_bit
HALF_LOCKED2		&pool->lock