Documented in 1 files:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/jump_label.c jump_label_init() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 1
LOCK2 global &jump_label_mutex
LOCK2 irq

kernel/debug/debug_core.c kgdb_free_init_mem() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 0
UNITS 0 virt unit_byte

kernel/printk/printk.c printk_late_init() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 0
LOCK2 global &console_mutex

kernel/printk/printk.c printk_late_init() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 0
LOCK2 global &console_mutex

kernel/printk/printk.c printk_late_init() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 0
LOCK2 global &console_mutex

kernel/printk/printk.c printk_late_init() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 0
LOCK2 global &console_mutex

kernel/printk/printk.c printk_late_init() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 0
BUF_SIZE 0 virt 64,664,1792
LOCK2 global &console_mutex

kernel/locking/lockdep.c static_obj() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 1
DATA_SOURCE 0 virt $0
STR_LEN 0 virt (-1),11,13
STR_LEN 0 virt (-1),11,13
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/static_call_inline.c __static_call_init() -> init_section_contains()

Type Parameter Key Value
PARAM_VALUE 1 size 1
DATA_SOURCE 0 virt r static_call_addr
LOCK2 global &static_call_mutex
LOCK2 irq