Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/debug/debug_core.c kgdb_handle_exception() -> kgdb_cpu_enter()

Type Parameter Key Value
PARAM_VALUE 0 ks 6262370378282983424
PARAM_VALUE 0 ks->cpu 0
PARAM_VALUE 0 ks->linux_regs 4096-ptr_max
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 exception_state 1
BUF_SIZE 0 ks 64
DATA_SOURCE 1 regs $3
MEM_ZERO 0 ks
HALF_LOCKED2 flags

kernel/debug/debug_core.c kgdb_nmicallback() -> kgdb_cpu_enter()

Type Parameter Key Value
PARAM_VALUE 0 ks 4885083488143884288
PARAM_VALUE 0 ks->cpu 0
PARAM_VALUE 0 ks->linux_regs 0,4096-ptr_max
PARAM_VALUE 1 regs 0,4096-ptr_max
PARAM_VALUE 2 exception_state 4
BUF_SIZE 0 ks 64
DATA_SOURCE 1 regs $1
MEM_ZERO 0 ks
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

kernel/debug/debug_core.c kgdb_nmicallin() -> kgdb_cpu_enter()

Type Parameter Key Value
PARAM_VALUE 0 ks 1255069822284963840
PARAM_VALUE 0 ks->cpu 0
PARAM_VALUE 0 ks->err_code 11
PARAM_VALUE 0 ks->ex_vector 2
PARAM_VALUE 0 ks->linux_regs 4096-ptr_max
PARAM_VALUE 0 ks->send_ready 1956088376259186688
PARAM_VALUE 0 ks->signo 5
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 2 exception_state 1
BUF_SIZE 0 ks 64
DATA_SOURCE 1 regs $2
MEM_ZERO 0 ks
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 global &nmi_reason_lock