Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/resource.c iomem_is_exclusive() -> resource_is_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 root 2936731392875139072
PARAM_VALUE 1 addr 0,4096-u64max
PARAM_VALUE 2 size 4096
BIT_INFO 1 addr 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0,4096-1000001536[c]
UNITS 2 size unit_byte
HALF_LOCKED2 &of->mutex

drivers/pci/proc.c proc_bus_pci_write() -> resource_is_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 addr 0-1000000000
PARAM_VALUE 2 size 1-1000000000,2147479552
DATA_SOURCE 2 size $2
USER_DATA 1 addr 0-1000000000
USER_DATA 2 size 1-1000000000

drivers/pci/pci-sysfs.c pci_write_config() -> resource_is_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 2 size 1-4096
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 1 addr $4
DATA_SOURCE 2 size $5
BIT_INFO 2 size 0x0,0x3fffffff
NOSPEC 2 size
NOSPEC 2 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0-4095
USER_DATA 2 size 1-4096[c]
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex