Home
last modified time | relevance | path

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

/linux-6.12.1/kernel/bpf/
Dlog.c699 if (state->frameno != reg->frameno) in print_reg_state()
700 verbose(env, "[%d]", reg->frameno); in print_reg_state()
762 if (state->frameno) in print_verifier_state()
763 verbose(env, " frame%d:", state->frameno); in print_verifier_state()
Dverifier.c335 u8 frameno; member
588 return cur->frame[reg->frameno]; in func()
1340 state->refs[new_ofs].callback_ref = state->in_callback_fn ? state->frameno : 0; in acquire_reference_state()
1354 if (state->in_callback_fn && state->refs[i].callback_ref != state->frameno) in release_reference_state()
2344 reg->frameno = 0; in __mark_reg_unknown_imprecise()
2446 regs[BPF_REG_FP].frameno = state->frameno; in init_reg_state()
2457 int callsite, int frameno, int subprogno) in init_func_state() argument
2460 state->frameno = frameno; in init_func_state()
3373 static int insn_stack_access_flags(int frameno, int spi) in insn_stack_access_flags() argument
3375 return INSN_F_STACK_ACCESS | (spi << INSN_F_SPI_SHIFT) | frameno; in insn_stack_access_flags()
[all …]
/linux-6.12.1/include/linux/
Dbpf_verifier.h231 u32 frameno; member
306 u32 frameno; member
/linux-6.12.1/drivers/net/ethernet/netronome/nfp/bpf/
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()