Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/net/bpf_jit_comp.c arch_bpf_trampoline_size() -> bpf_jit_free_exec()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
DATA_SOURCE 0 addr r bpf_jit_alloc_exec_rw
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/trampoline.c arch_free_bpf_trampoline() -> bpf_jit_free_exec()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/core.c alloc_new_pack() -> bpf_jit_free_exec()

Type Parameter Key Value
BUF_SIZE 0 addr s32min-s32max
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr r bpf_jit_alloc_exec
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pack_mutex
HALF_LOCKED2 &d->mutex

kernel/bpf/core.c bpf_jit_binary_free() -> bpf_jit_free_exec()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
DATA_SOURCE 0 addr $0
NOCHECK_CALL

kernel/bpf/core.c bpf_prog_pack_alloc() -> bpf_jit_free_exec()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
BUF_SIZE 0 addr s32min-s32max
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr r bpf_jit_alloc_exec
MEM_ZERO 0 addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pack_mutex
HALF_LOCKED2 &d->mutex

kernel/bpf/core.c bpf_prog_pack_free() -> bpf_jit_free_exec()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pack_mutex
HALF_LOCKED2 &d->mutex

kernel/bpf/core.c bpf_prog_pack_free() -> bpf_jit_free_exec()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pack_mutex
HALF_LOCKED2 &d->mutex