Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/debug/kdb/kdb_main.c kdb_ps1() -> kdb_process_cpu()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),1
STR_LEN 0 p (-1),1
UNITS 0 p unit_byte
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_ps1() -> kdb_process_cpu()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),1
STR_LEN 0 p (-1),1
UNITS 0 p unit_byte
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_set_current_task() -> kdb_process_cpu()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_bt.c kdb_show_stack() -> kdb_process_cpu()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),1
STR_LEN 0 p (-1),1
UNITS 0 p unit_byte
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_support.c kdb_task_state_char() -> kdb_process_cpu()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),1,3
STR_LEN 0 p (-1),1,3
HALF_LOCKED2 rcu_read