Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/dmi_scan.c dmi_save_ident() -> dmi_string()

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 5-255
PARAM_VALUE 0 dm->type 0-3
DATA_SOURCE 0 dm $0
HARD_MAX 0 dm->type 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/firmware/dmi_scan.c dmi_save_oem_strings_devices() -> dmi_string()

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 5-255
PARAM_VALUE 0 dm->type 11
PARAM_VALUE 1 s 1-255
CAPPED_DATA 1 s 1
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 5
PARAM_COMPARE 0 dm >= $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/firmware/dmi_scan.c save_mem_devices() -> dmi_string()

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 19-255
PARAM_VALUE 0 dm->type 17
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 19
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/firmware/dmi_scan.c save_mem_devices() -> dmi_string()

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 19-255
PARAM_VALUE 0 dm->type 17
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 19
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq