Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/printk.c msg_add_dict_text() -> msg_add_ext_text()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 text 4602998933304729600
PARAM_VALUE 3 text_len 0
PARAM_VALUE 4 endc 32
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 size $1
STR_LEN 0 buf 6,9
STR_LEN 0 buf 6,9
STR_LEN 1 size 0
TERMINATED 2 text 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf unit_byte
UNITS 1 size unit_byte
HALF_LOCKED2 &user->lock

kernel/printk/printk.c msg_add_dict_text() -> msg_add_ext_text()

Type Parameter Key Value
PARAM_VALUE 2 text 823913016804929536,4790495006906167296
PARAM_VALUE 3 text_len 0-9
PARAM_VALUE 4 endc 61
BUF_SIZE 2 text 7,10
BUF_SIZE 2 text 7,10
DATA_SOURCE 2 text $2
STR_LEN 0 buf 0-9
TERMINATED 2 text 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf unit_byte
UNITS 1 size unit_byte
HALF_LOCKED2 &user->lock

kernel/printk/printk.c msg_add_dict_text() -> msg_add_ext_text()

Type Parameter Key Value
PARAM_VALUE 3 text_len 1-47
PARAM_VALUE 4 endc 10
BUF_SIZE 2 text 16,48
BUF_SIZE 2 text 16,48
CAPPED_DATA 3 text_len 1
CAPPED_DATA 3 text_len 1
DATA_SOURCE 2 text $3
DATA_SOURCE 3 text_len r __fortify_strlen
STR_LEN 0 buf 1-47
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf unit_byte
UNITS 1 size unit_byte
HALF_LOCKED2 &user->lock

kernel/printk/printk.c msg_print_ext_body() -> msg_add_ext_text()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2048
PARAM_VALUE 2 text 4096-ptr_max
PARAM_VALUE 4 endc 10
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 size $1
DATA_SOURCE 2 text $2
DATA_SOURCE 3 text_len $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf unit_byte
UNITS 1 size unit_byte
UNITS 3 text_len unit_byte
HALF_LOCKED2 &user->lock