Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/debug/kdb/kdb_main.c kdb_cpu() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 2145533626404638720
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_md() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 7646041404555395072
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_md() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 7646041404555395072
USER_DATA 1 *value 0-u64max
NO_OVERFLOW_SIMPLE 1 *value
USER_PTR 1 value
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_per_cpu() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 1003162783818444800
PARAM_VALUE 1 *value 0
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_per_cpu() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 2018994016900362240
PARAM_VALUE 1 *value u64max
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdb_pid() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 930018951269126144
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdbgetaddrarg() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 1211653268306305024
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_main.c kdbgetaddrarg() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 4733988332282494976
PARAM_VALUE 1 *value 0
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_bt.c kdb_bt() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 2648885513053511680
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_bt.c kdb_bt() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 4388979317811097600
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_bt.c kdb_bt() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 2253648582519947264
PARAM_VALUE 1 *value u64max
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_bp.c kdb_bc() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 654347869527080960
HALF_LOCKED2 rcu_read

kernel/debug/kdb/kdb_bp.c kdb_parsebp() -> kdbgetularg()

Type Parameter Key Value
PARAM_VALUE 1 value 1480264563945025536
HALF_LOCKED2 rcu_read