Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 0
PARAM_VALUE 1 slot 1
PARAM_VALUE 2 string 4
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 0
PARAM_VALUE 1 slot 2
PARAM_VALUE 2 string 5
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 0
PARAM_VALUE 1 slot 3
PARAM_VALUE 2 string 8
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 1
PARAM_VALUE 1 slot 6
PARAM_VALUE 2 string 4
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 1
PARAM_VALUE 1 slot 7
PARAM_VALUE 2 string 5
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 1
PARAM_VALUE 1 slot 8
PARAM_VALUE 2 string 6
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 1
PARAM_VALUE 1 slot 9
PARAM_VALUE 2 string 7
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 1
PARAM_VALUE 1 slot 11
PARAM_VALUE 2 string 25
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 1
PARAM_VALUE 1 slot 12
PARAM_VALUE 2 string 26
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 2
PARAM_VALUE 1 slot 13
PARAM_VALUE 2 string 4
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 2
PARAM_VALUE 1 slot 14
PARAM_VALUE 2 string 5
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 2
PARAM_VALUE 1 slot 15
PARAM_VALUE 2 string 6
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 2
PARAM_VALUE 1 slot 16
PARAM_VALUE 2 string 7
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 2
PARAM_VALUE 1 slot 17
PARAM_VALUE 2 string 8
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 3
PARAM_VALUE 1 slot 18
PARAM_VALUE 2 string 4
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 3
PARAM_VALUE 1 slot 20
PARAM_VALUE 2 string 6
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 3
PARAM_VALUE 1 slot 21
PARAM_VALUE 2 string 7
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 0 dm->length 4-255
PARAM_VALUE 0 dm->type 3
PARAM_VALUE 1 slot 22
PARAM_VALUE 2 string 8
DATA_SOURCE 0 dm $0
FUZZY_MAX 0 dm->length 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq