Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/trampoline.c bpf_tramp_image_alloc() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
PARAM_VALUE 0 size 0-4096
CAPPED_DATA 0 size 1
DATA_SOURCE 0 size $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 size unit_byte
HALF_LOCKED2 global &direct_mutex

kernel/bpf/trampoline.c bpf_tramp_image_free() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 size unit_byte

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_image_alloc() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
PARAM_VALUE 0 size 4096
NOCHECK_CALL
UNITS 0 size unit_byte
HALF_LOCKED2 &st_map->lock

kernel/bpf/bpf_struct_ops.c bpf_struct_ops_image_free() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
PARAM_VALUE 0 size 4096
NOCHECK_CALL
UNITS 0 size unit_byte

kernel/bpf/core.c bpf_jit_binary_alloc() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
CAPPED_DATA 0 size 1
NOCHECK_CALL

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

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 size unit_byte

kernel/bpf/core.c bpf_jit_binary_pack_alloc() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
CAPPED_DATA 0 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/core.c bpf_jit_binary_pack_alloc() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
PARAM_VALUE 0 size 1-u32max
CAPPED_DATA 0 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 size unit_byte

kernel/bpf/core.c bpf_jit_binary_pack_free() -> bpf_jit_uncharge_modmem()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 size unit_byte