Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/bug.c find_bug() -> bug_addr()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &jump_label_mutex

lib/bug.c module_find_bug() -> bug_addr()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 bug unit_byte
LOCK2 rcu_read
HALF_LOCKED2 global &jump_label_mutex

lib/bug.c report_bug_entry() -> bug_addr()

Type Parameter Key Value
DATA_SOURCE 0 bug $0
PREEMPT_ADD <- disables preempt