Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/arena.c arena_map_alloc() -> populate_pgtable_except_pte()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->free_spans.first 0
PARAM_VALUE 0 arena->kern_vm 4096-ptr_max
PARAM_VALUE 0 arena->lock.dep_map->name 0-255
PARAM_VALUE 0 arena->lock.first_waiter 0
PARAM_VALUE 0 arena->lock.magic 4096-ptr_max
PARAM_VALUE 0 arena->lock.osq.tail.counter 0
PARAM_VALUE 0 arena->lock.owner.counter 0
PARAM_VALUE 0 arena->map.map_type 0-35
PARAM_VALUE 0 arena->rt.it_root.rb_root.rb_node 1-u64max
PARAM_VALUE 0 arena->scratch_page 4096-ptr_max
PARAM_VALUE 0 arena->vma_list.next 4096-ptr_max
PARAM_VALUE 0 arena->vma_list.next->next 4096-ptr_max
PARAM_VALUE 0 arena->vma_list.prev 4096-ptr_max
PARAM_VALUE 0 arena->vma_list.prev->next 4096-ptr_max
PARAM_VALUE 0 arena->vma_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 arena->zap_mutex.dep_map->name 0-255
PARAM_VALUE 0 arena->zap_mutex.first_waiter 0
PARAM_VALUE 0 arena->zap_mutex.magic 4096-ptr_max
PARAM_VALUE 0 arena->zap_mutex.osq.tail.counter 0
PARAM_VALUE 0 arena->zap_mutex.owner.counter 0
BUF_SIZE 0 arena (-1)-s32max
BUF_SIZE 0 arena (-1)-s32max
BUF_SIZE 0 arena->kern_vm 80
DATA_SOURCE 0 arena r bpf_map_area_alloc
BIT_INFO 0 arena->spinlock 0x0,0x7fffffff
BIT_INFO 0 arena->user_vm_start 0x0,0xfffffffffffff000
USER_DATA 0 arena->map.key_size 0-u32max
USER_DATA 0 arena->map.map_extra 0-u64max
USER_DATA 0 arena->map.map_flags 0-u32max[c]
USER_DATA 0 arena->map.map_type 0-29,31-32,34
USER_DATA 0 arena->map.max_entries 0-u32max
USER_DATA 0 arena->map.numa_node 0-s32max
USER_DATA 0 arena->map.value_size 0-u32max
USER_DATA 0 arena->user_vm_start 0-u64max