Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/efi/cper-x86.c print_err_info() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 5963264940484952064
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 33554432
BUF_SIZE 0 str 26
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 25
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 8926762468090597376
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 67108864
BUF_SIZE 0 str 12
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 11
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 3851560896555741184
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 134217728
BUF_SIZE 0 str 11
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 10
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 6771055261767573504
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 268435456
BUF_SIZE 0 str 15
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 14
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 8913625842135789568
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 536870912
BUF_SIZE 0 str 9
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 8
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 341832836137308160
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 4294967296
BUF_SIZE 0 str 9
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 8
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info_ms() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 5963264940484952064
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 524288
BUF_SIZE 0 str 26
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 25
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info_ms() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 8926762468090597376
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 1048576
BUF_SIZE 0 str 12
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 11
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info_ms() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 3851560896555741184
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 2097152
BUF_SIZE 0 str 11
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 10
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info_ms() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 6771055261767573504
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 4194304
BUF_SIZE 0 str 15
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 14
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/cper-x86.c print_err_info_ms() -> print_bool()

Type Parameter Key Value
PARAM_VALUE 0 str 8913625842135789568
PARAM_VALUE 1 pfx 8805253479417249792
PARAM_VALUE 3 bit 8388608
BUF_SIZE 0 str 9
BUF_SIZE 1 pfx 64
BUF_SIZE 1 pfx 64
DATA_SOURCE 1 pfx $0
DATA_SOURCE 2 check $2
STR_LEN 0 str 8
STR_LEN 1 pfx 63
STR_LEN 1 pfx 63
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL