Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/printk/printk.c init_section_intersects() -> memory_intersects()

Type Parameter Key Value
PARAM_VALUE 0 begin 8424795058699771904
PARAM_VALUE 1 end 3036748790918135808
PARAM_VALUE 2 virt 4096-ptr_max
PARAM_VALUE 3 size 280
DATA_SOURCE 2 virt $0
DATA_SOURCE 3 size $1
UNITS 3 size unit_byte
LOCK2 global &console_mutex

kernel/dma/debug.c check_for_illegal_area() -> memory_intersects()

Type Parameter Key Value
PARAM_VALUE 0 begin 24158083983945728
PARAM_VALUE 1 end 4975474871835320320
DATA_SOURCE 2 virt $1
DATA_SOURCE 3 size $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 size 0-u32max[c]
USER_DATA 3 size 0,4096-u32max[c]
UNITS 3 size unit_byte

kernel/dma/debug.c check_for_illegal_area() -> memory_intersects()

Type Parameter Key Value
PARAM_VALUE 0 begin 8827916320406978560
PARAM_VALUE 1 end 2786016832222826496
DATA_SOURCE 2 virt $1
DATA_SOURCE 3 size $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 size 0-u32max[c]
USER_DATA 3 size 0,4096-u32max[c]
UNITS 3 size unit_byte