Home
last modified time | relevance | path

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

/linux/include/linux/
H A Dbpf_verifier.h202 u32 frameno; member
335 u32 frameno; member
1112 return cur->frame[reg->frameno]; in bpf_func()
1300 u32 frameno, bool print_all);
1302 u32 frameno);
1371 u8 frameno; member
1412 bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 spi);
/linux/kernel/bpf/
H A Dliveness.c103 u32 frameno) in lookup_instance() argument
109 subprog_start = env->subprog_info[st->frame[frameno]->subprogno].start; in lookup_instance()
110 callsite = frameno > 0 ? st->frame[frameno]->callsite : subprog_start; in lookup_instance()
112 for (depth = frameno; ; depth--) { in lookup_instance()
331 static bool is_live_before(struct func_instance *instance, u32 insn_idx, u32 frameno, u32 half_spi) in is_live_before() argument
335 masks = get_frame_masks(instance, frameno, insn_idx); in is_live_before()
360 bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 half_spi) in bpf_stack_slot_alive() argument
378 rel = frameno + cur_delta; in bpf_stack_slot_alive()
385 for (i = frameno; i < q->curframe; i++) { in bpf_stack_slot_alive()
391 rel = frameno + delta; in bpf_stack_slot_alive()
H A Dverifier.c2470 reg->frameno = 0; in bpf_mark_reg_unknown_imprecise()
2561 regs[BPF_REG_FP].frameno = state->frameno; in init_reg_state()
2575 int callsite, int frameno, int subprogno) in init_func_state() argument
2578 state->frameno = frameno; in init_func_state()
3494 static int insn_stack_access_flags(int frameno, int spi) in insn_stack_access_flags() argument
3496 return INSN_F_STACK_ACCESS | (spi << INSN_F_SPI_SHIFT) | frameno; in insn_stack_access_flags()
3516 u8 frameno; member
3553 tmp |= e->frameno; in linked_regs_pack()
3575 e->frameno = val & LR_FRAMENO_MASK; in linked_regs_unpack()
3625 if ((e->is_reg && bt_is_frame_reg_set(bt, e->frameno, e->regno)) || in bpf_bt_sync_linked_regs()
[all …]