Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/printk.c add_preferred_console() -> __add_preferred_console()

Type Parameter Key Value
PARAM_VALUE 2 devname 0
PARAM_VALUE 4 brl_options 0
PARAM_VALUE 5 user_specified 0
BUF_SIZE 0 name 4-6,8,12,16
BUF_SIZE 0 name 4-6,8,12,16
CAPPED_DATA 1 idx 1
DATA_SOURCE 0 name $0
DATA_SOURCE 1 idx $1
DATA_SOURCE 3 options $2
STR_LEN 0 name (-1),3-5,7,11
STR_LEN 0 name (-1),3-5,7,11
RX_PATH
TASK_NOT_RUNNING
UNITS 1 idx unit_array_size
HALF_LOCKED2 irq

kernel/printk/printk.c console_setup() -> __add_preferred_console()

Type Parameter Key Value
PARAM_VALUE 0 name 1316259137538682880
PARAM_VALUE 1 idx 0
PARAM_VALUE 2 devname 0
PARAM_VALUE 3 options 0
PARAM_VALUE 4 brl_options 0
PARAM_VALUE 5 user_specified 1
BUF_SIZE 0 name 8
STR_LEN 0 name 7
TERMINATED 0 name 1
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/printk/printk.c console_setup() -> __add_preferred_console()

Type Parameter Key Value
PARAM_VALUE 0 name 0,5790055725492826112
PARAM_VALUE 2 devname 0,5790055725492826112
PARAM_VALUE 3 options 0,4097-18446744073709547521
PARAM_VALUE 4 *brl_options 0-255
PARAM_VALUE 5 user_specified 1
BUF_SIZE 0 name 0,32
BUF_SIZE 0 name 0,32
BUF_SIZE 2 devname 0,32
BUF_SIZE 2 devname 0,32
BIT_INFO 0 name 0x0,0x505a69015bb77000
BIT_INFO 0 name 0x0,0x505a69015bb77000
BIT_INFO 2 devname 0x0,0x505a69015bb77000
BIT_INFO 2 devname 0x0,0x505a69015bb77000
NOCHECK_CALL
USER_DATA 1 idx s16min-s16max
HALF_LOCKED2 irq