Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/percpu.c pcpu_block_update_hint_alloc() -> pcpu_region_overlap()

Type Parameter Key Value
PARAM_VALUE 2 x 0-1023
CAPPED_DATA 2 x 1
DATA_SOURCE 2 x r pcpu_off_to_block_off
PREEMPT_ADD
HALF_LOCKED2 flags
HALF_LOCKED2 global &pcpu_lock
HALF_LOCKED2 irq

mm/percpu.c pcpu_block_update_hint_alloc() -> pcpu_region_overlap()

Type Parameter Key Value
PARAM_VALUE 2 x 0-1023
CAPPED_DATA 2 x 1
DATA_SOURCE 2 x r pcpu_off_to_block_off
PREEMPT_ADD
HALF_LOCKED2 flags
HALF_LOCKED2 global &pcpu_lock
HALF_LOCKED2 irq

mm/percpu.c pcpu_block_update_hint_alloc() -> pcpu_region_overlap()

Type Parameter Key Value
DATA_SOURCE 2 x $1
PREEMPT_ADD
HALF_LOCKED2 flags
HALF_LOCKED2 global &pcpu_lock
HALF_LOCKED2 irq

mm/percpu.c pcpu_block_update_hint_alloc() -> pcpu_region_overlap()

Type Parameter Key Value
DATA_SOURCE 2 x $1
PREEMPT_ADD
HALF_LOCKED2 flags
HALF_LOCKED2 global &pcpu_lock
HALF_LOCKED2 irq