Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 8 files:

Smatch caller information:

arch/x86/net/bpf_jit_comp.c do_jit() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/net/bpf_jit_comp.c emit_bpf_tail_call_direct() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value

arch/x86/net/bpf_jit_comp.c emit_bpf_tail_call_indirect() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
DATA_SOURCE 0 arena $0

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
DATA_SOURCE 0 arena $0

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

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

kernel/bpf/arena.c arena_map_free() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
CAPPED_DATA 0 &arena->free_work 1
CAPPED_DATA 0 &arena->vma_list 1
PARAM_COMPARE 0 &arena->vma_list == $0->vma_list.next

kernel/bpf/arena.c arena_vm_fault() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/arena.c bpf_arena_handle_page_fault() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value
PARAM_VALUE 0 arena 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/arena.c bpf_arena_map_kern_vm_start() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max

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

Type Parameter Key Value
PARAM_VALUE 0 arena 4096-ptr_max
PARAM_VALUE 0 arena->kern_vm 4096-ptr_max
BUF_SIZE 0 arena (-1)-s32max
BUF_SIZE 0 arena (-1)-s32max
BUF_SIZE 0 arena->kern_vm 72
DATA_SOURCE 0 arena $0
BIT_INFO 0 arena->spinlock 0x0,0x7fffffff
BIT_INFO 0 arena->user_vm_start 0x0,0xfffffffffffff000
USER_DATA 0 arena->user_vm_start 0-u64max
NO_OVERFLOW_SIMPLE 0 arena->map.max_entries

kernel/bpf/trampoline.c bpf_tramp_arena_base() -> bpf_arena_get_kern_vm_start()

Type Parameter Key Value
PARAM_VALUE 0 arena 1-u64max
RX_PATH
TASK_NOT_RUNNING