Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/printk.c do_syslog() -> get_record_print_text_size()

Type Parameter Key Value
PARAM_VALUE 0 info 8554082729729974272
PARAM_VALUE 1 line_count 1-u32max
PARAM_VALUE 2 syslog 1
RX_PATH
LOCK2 global &syslog_lock

kernel/printk/printk.c find_first_fitting_seq() -> get_record_print_text_size()

Type Parameter Key Value
PARAM_VALUE 0 info 50929772802359296
PARAM_VALUE 0 info->seq 0-18446744073709551614
PARAM_VALUE 1 line_count 1-u32max
DATA_SOURCE 2 syslog $3
DATA_SOURCE 3 time $4
RX_PATH
TASK_NOT_RUNNING

kernel/printk/printk.c find_first_fitting_seq() -> get_record_print_text_size()

Type Parameter Key Value
PARAM_VALUE 0 info 50929772802359296
PARAM_VALUE 0 info->seq 0-18446744073709551614
PARAM_VALUE 1 line_count 1-u32max
DATA_SOURCE 2 syslog $3
DATA_SOURCE 3 time $4
RX_PATH
TASK_NOT_RUNNING

kernel/printk/printk.c kmsg_dump_get_line() -> get_record_print_text_size()

Type Parameter Key Value
PARAM_VALUE 0 info 915431398805868544
PARAM_VALUE 1 line_count 1-u32max
PARAM_VALUE 2 syslog 1
DATA_SOURCE 2 syslog $1
HALF_LOCKED2 rcu_read