Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 1 uaddr s64min-(-1),1-s64max
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 uaddr $1
BIT_INFO 1 uaddr 0x0,0x7ffffffffffff000
BIT_INFO 1 uaddr 0x0,0x7ffffffffffff000

kernel/bpf/arena.c arena_free_pages() -> compute_pgoff()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 1 uaddr 0,4096-4294963200
CAPPED_DATA 0 arena->user_vm_start 1
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 uaddr $1 [m]
BIT_INFO 1 uaddr 0x0,0xfffff000
BIT_INFO 1 uaddr 0x0,0xfffff000
UNITS 1 uaddr unit_byte

kernel/bpf/arena.c arena_free_worker() -> compute_pgoff()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
CAPPED_DATA 0 &arena->spinlock 1
PREEMPT_ADD <- disables preempt
UNITS 1 uaddr unit_byte
LOCK2 flags
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
DATA_SOURCE 0 arena $0
DATA_SOURCE 1 uaddr $1
BIT_INFO 1 uaddr 0x0,0xfffffffffffff000
BIT_INFO 1 uaddr 0x0,0xfffffffffffff000