Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/arena.c arena_alloc_pages() -> is_range_tree_set()

Type Parameter Key Value
PARAM_VALUE 0 rt 4096-ptr_max
PARAM_VALUE 1 start 0-1048575
PARAM_VALUE 2 len 1-u32max
CAPPED_DATA 1 start 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 start r compute_pgoff
DATA_SOURCE 2 len $2
PREEMPT_ADD <- disables preempt
UNITS 1 start unit_page
UNITS 2 len unit_page
LOCK2 flags

kernel/bpf/arena.c arena_reserve_pages() -> is_range_tree_set()

Type Parameter Key Value
PARAM_VALUE 0 rt 4096-ptr_max
PARAM_VALUE 1 start 0-1048575
PARAM_VALUE 2 len 1-u32max
DATA_SOURCE 1 start r compute_pgoff
DATA_SOURCE 2 len $2
PREEMPT_ADD <- disables preempt
LOCK2 flags