Home
last modified time | relevance | path

Searched refs:insn_idx (Results 1 – 9 of 9) sorted by relevance

/Linux-v4.19/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c49 unsigned int insn_idx, unsigned int n_insns) in nfp_bpf_goto_meta() argument
53 backward = meta->n - insn_idx; in nfp_bpf_goto_meta()
54 forward = insn_idx - meta->n; in nfp_bpf_goto_meta()
56 if (min(forward, backward) > n_insns - insn_idx - 1) { in nfp_bpf_goto_meta()
57 backward = n_insns - insn_idx - 1; in nfp_bpf_goto_meta()
60 if (min(forward, backward) > insn_idx && backward > insn_idx) { in nfp_bpf_goto_meta()
61 forward = insn_idx; in nfp_bpf_goto_meta()
603 nfp_verify_insn(struct bpf_verifier_env *env, int insn_idx, int prev_insn_idx) in nfp_verify_insn() argument
608 meta = nfp_bpf_goto_meta(nfp_prog, meta, insn_idx, env->prog->len); in nfp_verify_insn()
Dmain.h491 unsigned int insn_idx, unsigned int n_insns);
/Linux-v4.19/kernel/bpf/
Dverifier.c152 int insn_idx; member
486 int *insn_idx) in pop_stack() argument
500 if (insn_idx) in pop_stack()
501 *insn_idx = head->insn_idx; in pop_stack()
513 int insn_idx, int prev_insn_idx) in push_stack() argument
523 elem->insn_idx = insn_idx; in push_stack()
1014 int off, int size, int value_regno, int insn_idx) in check_stack_write() argument
1056 int *poff = &env->insn_aux_data[insn_idx].sanitize_stack_off; in check_stack_write()
1073 insn_idx, *poff, soff); in check_stack_write()
1378 static int check_ctx_access(struct bpf_verifier_env *env, int insn_idx, int off, int size, in check_ctx_access() argument
[all …]
Doffload.c161 int insn_idx, int prev_insn_idx) in bpf_prog_offload_verify_insn() argument
169 ret = offload->dev_ops->insn_hook(env, insn_idx, prev_insn_idx); in bpf_prog_offload_verify_insn()
/Linux-v4.19/samples/bpf/
Dbpf_load.c334 unsigned int insn_idx; in parse_relo_and_apply() local
340 insn_idx = rel.r_offset / sizeof(struct bpf_insn); in parse_relo_and_apply()
344 if (insn[insn_idx].code != (BPF_LD | BPF_IMM | BPF_DW)) { in parse_relo_and_apply()
346 insn_idx, insn[insn_idx].code); in parse_relo_and_apply()
349 insn[insn_idx].src_reg = BPF_PSEUDO_MAP_FD; in parse_relo_and_apply()
359 insn[insn_idx].imm = maps[map_idx].fd; in parse_relo_and_apply()
362 insn_idx); in parse_relo_and_apply()
/Linux-v4.19/tools/lib/bpf/
Dlibbpf.c148 int insn_idx; member
917 unsigned int insn_idx; in bpf_program__collect_reloc() local
943 insn_idx = rel.r_offset / sizeof(struct bpf_insn); in bpf_program__collect_reloc()
944 pr_debug("relocation: insn_idx=%u\n", insn_idx); in bpf_program__collect_reloc()
946 if (insns[insn_idx].code == (BPF_JMP | BPF_CALL)) { in bpf_program__collect_reloc()
947 if (insns[insn_idx].src_reg != BPF_PSEUDO_CALL) { in bpf_program__collect_reloc()
952 prog->reloc_desc[i].insn_idx = insn_idx; in bpf_program__collect_reloc()
958 if (insns[insn_idx].code != (BPF_LD | BPF_IMM | BPF_DW)) { in bpf_program__collect_reloc()
960 insn_idx, insns[insn_idx].code); in bpf_program__collect_reloc()
968 map_idx, maps[map_idx].name, insn_idx); in bpf_program__collect_reloc()
[all …]
/Linux-v4.19/include/linux/
Dbpf_verifier.h218 int insn_idx, int prev_insn_idx);
Dbpf.h260 int insn_idx, int prev_insn_idx);
/Linux-v4.19/drivers/net/netdevsim/
Dbpf.c75 nsim_bpf_verify_insn(struct bpf_verifier_env *env, int insn_idx, int prev_insn) in nsim_bpf_verify_insn() argument
80 if (state->ns->bpf_bind_verifier_delay && !insn_idx) in nsim_bpf_verify_insn()
83 if (insn_idx == env->prog->len - 1) in nsim_bpf_verify_insn()