Searched refs:frameno (Results 1 – 6 of 6) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | diagnostics.c | 58 u8 frameno; member
62 static struct bpf_diag_mod_target diag_reg_target(u32 frame_id, u8 frameno, u8 regno) in diag_reg_target() argument
66 .frameno = frameno, in diag_reg_target()
72 static struct bpf_diag_mod_target diag_stack_arg_target(u32 frame_id, u8 frameno, u8 slot) in diag_stack_arg_target() argument
76 .frameno = frameno, in diag_stack_arg_target()
82 static struct bpf_diag_mod_target diag_stack_slot_target(u32 frame_id, u8 frameno, u16 spi) in diag_stack_slot_target() argument
86 .frameno = frameno, in diag_stack_slot_target()
92 static struct bpf_diag_mod_target diag_stack_range_target(u32 frame_id, u8 frameno, in diag_stack_range_target() argument
97 .frameno = frameno, in diag_stack_range_target()
157 u32 frameno; member
[all …]
|
| H A D | log.c | 643 if (state->frameno != reg->frameno) in print_reg_state()
644 verbose(env, "[%d]", reg->frameno); in print_reg_state()
701 u32 frameno, bool print_all) in print_verifier_state() argument
703 const struct bpf_func_state *state = vstate->frame[frameno]; in print_verifier_state()
707 if (state->frameno) in print_verifier_state()
708 verbose(env, " frame%d:", state->frameno); in print_verifier_state()
804 u32 frameno) in print_insn_state() argument
813 print_verifier_state(env, vstate, frameno, false); in print_insn_state()
|
| 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()
330 static bool is_live_before(struct func_instance *instance, u32 insn_idx, u32 frameno, u32 half_spi) in is_live_before() argument
334 masks = get_frame_masks(instance, frameno, insn_idx); in is_live_before()
359 bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 half_spi) in bpf_stack_slot_alive() argument
377 rel = frameno + cur_delta; in bpf_stack_slot_alive()
384 for (i = frameno; i < q->curframe; i++) { in bpf_stack_slot_alive()
390 rel = frameno + delta; in bpf_stack_slot_alive()
|
| H A D | states.c | 648 return regs_exact(rold, rcur, idmap) && rold->frameno == rcur->frameno; in regsafe()
1127 offsetof(struct bpf_reg_state, frameno))) in states_maybe_looping()
|
| H A D | verifier.c | 2275 regs[BPF_REG_FP].frameno = state->frameno; in init_reg_state()
2289 int callsite, int frameno, int subprogno) in init_func_state() argument
2292 state->frameno = frameno; in init_func_state()
3237 u8 frameno; member
3275 tmp |= e->frameno; in linked_regs_pack()
3297 e->frameno = val & LR_FRAMENO_MASK; in linked_regs_unpack()
3349 if ((e->is_reg && bt_is_frame_reg_set(bt, e->frameno, e->regno)) || in bpf_bt_sync_linked_regs()
3350 (!e->is_reg && bt_is_frame_slot_set(bt, e->frameno, e->spi))) { in bpf_bt_sync_linked_regs()
3363 bpf_bt_set_frame_reg(bt, e->frameno, e->regno); in bpf_bt_sync_linked_regs()
3365 bpf_bt_set_frame_slot(bt, e->frameno, e->spi); in bpf_bt_sync_linked_regs()
[all …]
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 164 u32 frameno; member
356 u32 frameno; member
1232 return cur->frame[reg->frameno]; in bpf_func()
1472 u32 frameno, bool print_all);
1474 u32 frameno);
1581 u8 frameno; member
1627 bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 spi);
|