Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/pci/acpi.c setup_mcfg_map() -> check_segment()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->bus 0,4096-ptr_max
PARAM_VALUE 2 estr 5503868520300769280
BUF_SIZE 1 dev 1616
BUF_SIZE 2 estr 22
STR_LEN 0 seg 21
TERMINATED 2 estr 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &acpi_scan_lock

arch/x86/pci/acpi.c setup_mcfg_map() -> check_segment()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->bus 0,4096-ptr_max
PARAM_VALUE 2 estr 5921580042161963008
BUF_SIZE 1 dev 1616
BUF_SIZE 2 estr 34
STR_LEN 0 seg 33
TERMINATED 2 estr 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &acpi_scan_lock