Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/dmi_scan.c dmi_save_extended_devices() -> dmi_save_dev_pciaddr()

Type Parameter Key Value
PARAM_VALUE 0 instance 0-255
PARAM_VALUE 1 segment 0-u16max
PARAM_VALUE 2 bus 0-255
PARAM_VALUE 3 devfn 0-255
PARAM_VALUE 5 type (-3)
BUF_SIZE 4 name (-1),1
BUF_SIZE 4 name (-1),1
DATA_SOURCE 4 name r dmi_string_nosave
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/firmware/dmi_scan.c dmi_save_system_slot() -> dmi_save_dev_pciaddr()

Type Parameter Key Value
PARAM_VALUE 0 instance 0-u16max
PARAM_VALUE 1 segment 0-u16max
PARAM_VALUE 2 bus 0-255
PARAM_VALUE 3 devfn 0-255
PARAM_VALUE 5 type (-4)
BUF_SIZE 4 name (-1),1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq