Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/bpf/syscall.c bpf_obj_free_fields() -> btf_is_kernel()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/syscall.c bpf_prog_load() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
BUF_SIZE 0 btf s32min-(-2),1-s32max
BUF_SIZE 0 btf s32min-(-2),1-s32max
DATA_SOURCE 0 btf r btf_get_by_fd

kernel/bpf/syscall.c btf_record_dup() -> btf_is_kernel()

Type Parameter Key Value

kernel/bpf/syscall.c btf_record_free() -> btf_is_kernel()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/syscall.c map_create_alloc() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
BUF_SIZE 0 btf s32min-(-2),1-s32max
BUF_SIZE 0 btf s32min-(-2),1-s32max
DATA_SOURCE 0 btf r btf_get_by_fd

kernel/bpf/btf.c btf_check_and_fixup_fields() -> btf_is_kernel()

Type Parameter Key Value

kernel/bpf/btf.c btf_parse_kptr() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
BUF_SIZE 0 btf s32min-(-1),1-s32max
BUF_SIZE 0 btf s32min-(-1),1-s32max
DATA_SOURCE 0 btf $0

kernel/bpf/check_btf.c bpf_prepare_btf_info() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
BUF_SIZE 0 btf s32min-(-2),1-s32max
BUF_SIZE 0 btf s32min-(-2),1-s32max
DATA_SOURCE 0 btf r btf_get_by_fd

kernel/bpf/verifier.c btf_id_allow_sleepable() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
CAPPED_DATA 0 btf->start_id 1
DATA_SOURCE 0 btf $3

kernel/bpf/verifier.c btf_ld_kptr_type() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf->kernel_btf 0-1

kernel/bpf/verifier.c check_helper_call() -> btf_is_kernel()

Type Parameter Key Value

kernel/bpf/verifier.c check_ptr_to_btf_access() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
CAPPED_DATA 0 btf->start_id 1

kernel/bpf/verifier.c check_ptr_to_btf_access() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
CAPPED_DATA 0 btf->start_id 1

kernel/bpf/verifier.c kptr_pointee_btf_record() -> btf_is_kernel()

Type Parameter Key Value
PARAM_VALUE 0 btf 4096-ptr_max
PARAM_VALUE 0 btf->kernel_btf 0-1

kernel/bpf/verifier.c map_kptr_match_type() -> btf_is_kernel()

Type Parameter Key Value

kernel/bpf/verifier.c rcu_protected_object() -> btf_is_kernel()

Type Parameter Key Value
DATA_SOURCE 0 btf $0