Home
last modified time | relevance | path

Searched refs:insn_flags (Results 1 – 3 of 3) sorted by relevance

/linux/kernel/bpf/
H A Dbacktrack.c12 int insn_flags, int spi, int frame, u64 linked_regs) in bpf_push_jmp_history() argument
23 verifier_bug_if((env->cur_hist_ent->flags & insn_flags) && in bpf_push_jmp_history()
24 (env->cur_hist_ent->flags & insn_flags) != insn_flags, in bpf_push_jmp_history()
26 env->insn_idx, env->cur_hist_ent->flags, insn_flags); in bpf_push_jmp_history()
27 env->cur_hist_ent->flags |= insn_flags; in bpf_push_jmp_history()
47 p->flags = insn_flags; in bpf_push_jmp_history()
H A Dverifier.c3531 int insn_flags = INSN_F_STACK_ACCESS; in check_stack_write_fixed_off() local
3637 insn_flags = 0; /* not a register spill */ in check_stack_write_fixed_off()
3640 if (insn_flags) in check_stack_write_fixed_off()
3641 return bpf_push_jmp_history(env, env->cur_state, insn_flags, in check_stack_write_fixed_off()
3877 int insn_flags = INSN_F_STACK_ACCESS; in check_stack_read_fixed_off() local
3954 /* this IS register fill, so keep insn_flags */ in check_stack_read_fixed_off()
3958 insn_flags = 0; /* not restoring original register state */ in check_stack_read_fixed_off()
3964 insn_flags = 0; /* not restoring original register state */ in check_stack_read_fixed_off()
4014 insn_flags = 0; /* we are not restoring spilled register */ in check_stack_read_fixed_off()
4016 if (insn_flags) in check_stack_read_fixed_off()
16965 int insn_flags = 0; check_cond_jmp_op() local
[all...]
/linux/include/linux/
H A Dbpf_verifier.h1226 int insn_flags, int spi, int frame, u64 linked_regs);