Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dliveness.c140 struct callchain *callchain, u32 frameno) in compute_callchain() argument
146 for (i = 0; i <= frameno; i++) { in compute_callchain()
151 callchain->curframe = frameno; in compute_callchain()
210 u32 frameno) in lookup_instance() argument
214 compute_callchain(env, st, &callchain, frameno); in lookup_instance()
699 static bool is_live_before(struct func_instance *instance, u32 insn_idx, u32 frameno, u32 spi) in is_live_before() argument
703 masks = get_frame_masks(instance, frameno, insn_idx); in is_live_before()
725 bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 spi) in bpf_stack_slot_alive() argument
739 if (is_live_before(curframe_instance, q->insn_idx, frameno, spi)) in bpf_stack_slot_alive()
742 for (i = frameno; i < q->curframe; i++) { in bpf_stack_slot_alive()
[all …]
H A Dverifier.c344 u8 frameno; member
621 return cur->frame[reg->frameno]; in func()
808 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in mark_stack_slots_dynptr()
825 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in invalidate_dynptr()
943 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in destroy_if_dynptr_stack_slot()
1070 bpf_mark_stack_write(env, state->frameno, BIT(spi - i)); in mark_stack_slots_iter()
1099 bpf_mark_stack_write(env, state->frameno, BIT(spi - i)); in unmark_stack_slots_iter()
1189 bpf_mark_stack_write(env, reg->frameno, BIT(spi)); in mark_stack_slot_irq_flag()
1245 bpf_mark_stack_write(env, reg->frameno, BIT(spi)); in unmark_stack_slot_irq_flag()
2791 reg->frameno = 0; in __mark_reg_unknown_imprecise()
[all …]
/linux/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c92 state = env->cur_state->frame[reg3->frameno]; in nfp_bpf_map_update_value_ok()
350 if (reg->frameno != env->cur_state->curframe) in nfp_bpf_check_stack_access()