Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 begin 8424795058699771904
PARAM_VALUE 1 end 3036748790918135808
PARAM_VALUE 3 size 1
DATA_SOURCE 2 virt $0
DATA_SOURCE 3 size $1
LOCK2 global &jump_label_mutex
LOCK2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 begin 8424795058699771904
PARAM_VALUE 1 end 3036748790918135808
PARAM_VALUE 3 size 0
DATA_SOURCE 2 virt $0
DATA_SOURCE 3 size $1
UNITS 2 virt unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 begin 8424795058699771904
PARAM_VALUE 1 end 3036748790918135808
PARAM_VALUE 3 size 0
BUF_SIZE 2 virt (-1),64,664,1792
BUF_SIZE 2 virt (-1),64,664,1792
DATA_SOURCE 2 virt $0
DATA_SOURCE 3 size $1
LOCK2 global &console_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 begin 8424795058699771904
PARAM_VALUE 1 end 3036748790918135808
PARAM_VALUE 3 size 1
DATA_SOURCE 2 virt $0
DATA_SOURCE 3 size $1
STR_LEN 0 begin (-1),11,13
STR_LEN 2 virt (-1),11,13
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 begin 8424795058699771904
PARAM_VALUE 1 end 3036748790918135808
PARAM_VALUE 3 size 1
DATA_SOURCE 2 virt $0
DATA_SOURCE 3 size $1
LOCK2 global &static_call_mutex
LOCK2 irq