Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/debug/gdbstub.c gdb_cmd_query() -> int_to_threadref()

Type Parameter Key Value
PARAM_VALUE 0 id 1519093137818857472
PARAM_VALUE 1 value (-66)-(-2)
BUF_SIZE 0 id 8
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 flags
HALF_LOCKED2 global &dbg_master_lock
HALF_LOCKED2 global &dbg_slave_lock

kernel/debug/gdbstub.c gdb_cmd_query() -> int_to_threadref()

Type Parameter Key Value
PARAM_VALUE 0 id 1519093137818857472
BUF_SIZE 0 id 8
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 flags
HALF_LOCKED2 global &dbg_master_lock
HALF_LOCKED2 global &dbg_slave_lock

kernel/debug/gdbstub.c gdb_cmd_query() -> int_to_threadref()

Type Parameter Key Value
PARAM_VALUE 0 id 1519093137818857472
BUF_SIZE 0 id 8
DATA_SOURCE 1 value r shadow_pid
BIT_INFO 1 value 0x0,0x7fffffff
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 flags
HALF_LOCKED2 global &dbg_master_lock
HALF_LOCKED2 global &dbg_slave_lock

kernel/debug/gdbstub.c gdb_serial_stub() -> int_to_threadref()

Type Parameter Key Value
PARAM_VALUE 0 id 7701628765547094016
BUF_SIZE 0 id 8
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 flags
HALF_LOCKED2 global &dbg_master_lock
HALF_LOCKED2 global &dbg_slave_lock