Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/bootconfig.c __xbc_add_key() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 104595835382267904
PARAM_VALUE 1 p 4096-ptr_max
BUF_SIZE 0 msg 16
DATA_SOURCE 1 p $0
STR_LEN 0 msg 15
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c __xbc_add_sibling() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 7205655228207730688
PARAM_VALUE 1 p 4096-18446744073709547521
BUF_SIZE 0 msg 15
BUF_SIZE 1 p s32min,(-10),(-1)-s32max
BUF_SIZE 1 p s32min,(-10),(-1)-s32max
DATA_SOURCE 1 p $0
STR_LEN 0 msg 14
TERMINATED 0 msg 1
NOCHECK_CALL
LOCK2 irq

lib/bootconfig.c __xbc_close_brace() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 84404883091628032
PARAM_VALUE 1 p 4096-ptr_max
BUF_SIZE 0 msg 25
DATA_SOURCE 1 p $0
STR_LEN 0 msg 24
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c __xbc_open_brace() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 5802840578511753216
PARAM_VALUE 1 p 4096-ptr_max
BUF_SIZE 0 msg 27
DATA_SOURCE 1 p $0
STR_LEN 0 msg 26
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c __xbc_parse_value() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 8578658231413571584
PARAM_VALUE 1 p 4097-u64max
BUF_SIZE 0 msg 20
STR_LEN 0 msg 19
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c __xbc_parse_value() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 7677864832428335104
PARAM_VALUE 1 p 4098-ptr_max
PARAM_VALUE 1 *p 1-255
BUF_SIZE 0 msg 19
DATA_SOURCE 1 p r skip_spaces_until_newline
STR_LEN 0 msg 18
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c __xbc_parse_value() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 8284428398564278272
PARAM_VALUE 1 p 4097-u64max
BUF_SIZE 0 msg 18
STR_LEN 0 msg 17
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_parse_kv() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 1850193879027646464
PARAM_VALUE 1 p 4096-18446744073709547521
PARAM_VALUE 1 *p 0-255
BUF_SIZE 0 msg 19
CAPPED_DATA 1 *p 1
DATA_SOURCE 1 p $1 [m]
FUZZY_MAX 1 *p 0
STR_LEN 0 msg 18
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_parse_kv() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 3718529785165070336
PARAM_VALUE 1 p 4096-18446744073709547521
PARAM_VALUE 1 *p 0-255
BUF_SIZE 0 msg 25
CAPPED_DATA 1 *p 1
DATA_SOURCE 1 p $1 [m]
FUZZY_MAX 1 *p 0
STR_LEN 0 msg 24
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_parse_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 5613167789431992320
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 *p 1-255
BUF_SIZE 0 msg 13
BUF_SIZE 1 p s32min-s32max
DATA_SOURCE 1 p r skip_spaces
STR_LEN 0 msg 12
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_parse_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 4100639991357960192,5372409367305924608
PARAM_VALUE 1 p 4096-ptr_max
BUF_SIZE 0 msg 19
STR_LEN 0 msg 18
BIT_INFO 0 msg 0x888205894003000,0x7aeee7daf6e6f000
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_verify_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 4476792770918858752
PARAM_VALUE 1 p 0,4096-ptr_max
BUF_SIZE 0 msg 20
STR_LEN 0 msg 19
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_verify_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 4318608914157039616
BUF_SIZE 0 msg 13
STR_LEN 0 msg 12
TERMINATED 0 msg 1
NOCHECK_CALL
LOCK2 irq

lib/bootconfig.c xbc_verify_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 3291420199073357824
PARAM_VALUE 1 p 0,4096-ptr_max
BUF_SIZE 0 msg 17
STR_LEN 0 msg 16
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_verify_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 2926027873459539968
PARAM_VALUE 1 p 0,4096-ptr_max
BUF_SIZE 0 msg 18
STR_LEN 0 msg 17
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_verify_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 7217462091774513152
PARAM_VALUE 1 p 0,4096-ptr_max
BUF_SIZE 0 msg 20
STR_LEN 0 msg 19
TERMINATED 0 msg 1
LOCK2 irq

lib/bootconfig.c xbc_verify_tree() -> xbc_parse_error()

Type Parameter Key Value
PARAM_VALUE 0 msg 8377552418513158144
PARAM_VALUE 1 p 0,4096-ptr_max
BUF_SIZE 0 msg 19
STR_LEN 0 msg 18
TERMINATED 0 msg 1
LOCK2 irq