Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/debug/kdb/kdb_main.c kdb_defcmd() -> kdb_defcmd2()

Type Parameter Key Value
PARAM_VALUE 0 cmdstr 2968798781982924800
PARAM_VALUE 1 argv0 2968798781982924800
BUF_SIZE 0 cmdstr 9
BUF_SIZE 1 argv0 9
STR_LEN 0 cmdstr 8
STR_LEN 1 argv0 8
TERMINATED 0 cmdstr 1
TERMINATED 1 argv0 1
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_parse() -> kdb_defcmd2()

Type Parameter Key Value
PARAM_VALUE 0 cmdstr 4096-ptr_max
BUF_SIZE 0 cmdstr (-1),5,9,200,256,1024
BUF_SIZE 0 cmdstr (-1),5,9,200,256,1024
DATA_SOURCE 0 cmdstr $0
STR_LEN 0 cmdstr (-1),4,8
STR_LEN 0 cmdstr (-1),4,8
HALF_LOCKED2 rcu_read