Searched refs:frameno (Results 1 – 3 of 3) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 202 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 D | liveness.c | 103 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 D | verifier.c | 2470 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 …]
|