Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

arch/x86/pci/fixup.c pci_amd_enable_64bit_bar() -> request_resource_conflict()

Type Parameter Key Value
PARAM_VALUE 0 root 2936731392875139072
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->end 1086626725887
PARAM_VALUE 1 new->flags 3154432
PARAM_VALUE 1 new->name 8199608081755049984
PARAM_VALUE 1 new->start 811748818944
BUF_SIZE 1 new 64
BUF_SIZE 1 new->name 16
DATA_SOURCE 1 new r _kzalloc_noprof
STR_LEN 1 new->name 15
TERMINATED 1 new->name 1

drivers/pci/probe.c pci_bus_insert_busn_res() -> request_resource_conflict()

Type Parameter Key Value
PARAM_VALUE 0 root 0,4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->end 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 new->flags 4096,4112
PARAM_VALUE 1 new->start 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 root (-1),64
BUF_SIZE 0 root (-1),64
BUF_SIZE 1 new 64
FUZZY_MAX 1 new->flags 4096
BIT_INFO 1 new->end 0x0,0x7fffffff
BIT_INFO 1 new->flags 0x1000,0x1010
BIT_INFO 1 new->start 0x0,0x7fffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 new->end 1-256[c]
HOST_DATA 1 new->start 0-256[c]

kernel/resource.c devm_request_resource() -> request_resource_conflict()

Type Parameter Key Value
PARAM_VALUE 1 new 4096-ptr_max
BUF_SIZE 0 root (-1),64
BUF_SIZE 0 root (-1),64
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new->name (-1),4
DATA_SOURCE 0 root $1
DATA_SOURCE 1 new $2
STR_LEN 1 new->name (-1),3
RX_PATH
TASK_NOT_RUNNING

kernel/resource.c request_resource() -> request_resource_conflict()

Type Parameter Key Value
BUF_SIZE 0 root (-1),64,896,960,1024
BUF_SIZE 0 root (-1),64,896,960,1024
BUF_SIZE 1 new (-1),64,128,1088
BUF_SIZE 1 new (-1),64,128,1088
BUF_SIZE 1 new->name (-1),9,16
BUF_SIZE 1 new->parent (-1),64
DATA_SOURCE 0 root $0
DATA_SOURCE 1 new $1
STR_LEN 1 new->name (-1),8,11
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 new->end 4096[c]
HOST_DATA 1 new->start 0[c]
USER_DATA 1 new->end 0-u16max[c]
USER_DATA 1 new->start 0-u16max[c]
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &s->ops_mutex
HALF_LOCKED2 &sp->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &gpmc_mem_lock
HALF_LOCKED2 global &list_lock
HALF_LOCKED2 irq

drivers/pci/setup-res.c pci_claim_resource() -> request_resource_conflict()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
CAPPED_DATA 0 root->start 1
CAPPED_DATA 1 new->end 1
DATA_SOURCE 0 root r pci_find_parent_resource
BIT_INFO 1 new->flags 0x0,0xffffffffdffffffd
RX_PATH
TASK_NOT_RUNNING

drivers/pci/setup-res.c pci_revert_fw_address() -> request_resource_conflict()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
BUF_SIZE 0 root (-1),64
BUF_SIZE 0 root (-1),64
DATA_SOURCE 1 new $0
BIT_INFO 1 new->flags 0x0,0xffffffffdfffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex

drivers/pci/ecam.c pci_ecam_create() -> request_resource_conflict()

Type Parameter Key Value
PARAM_VALUE 0 root 2936731392875139072
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->flags 2147484160
PARAM_VALUE 1 new->name 1768490226494242816
TERMINATED 1 new->name 1
RX_PATH
TASK_NOT_RUNNING

drivers/firmware/efi/efi.c efi_mem_reserve_iomem() -> request_resource_conflict()

Type Parameter Key Value
PARAM_VALUE 0 root 2936731392875139072
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->flags 512
PARAM_VALUE 1 new->name 8336103091389833216
BUF_SIZE 1 new 64
BUF_SIZE 1 new->name 9
DATA_SOURCE 1 new r _kzalloc_noprof
STR_LEN 1 new->name 8
TERMINATED 1 new->name 1