Home
last modified time | relevance | path

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

/linux/include/linux/
H A Dbpf_verifier.h305 struct bpf_stack_state { struct
400 struct bpf_stack_state *stack;
595 struct bpf_stack_state * ___stack; \
1271 static inline bool bpf_is_spilled_reg(const struct bpf_stack_state *stack) in bpf_is_spilled_reg()
1276 static inline bool bpf_is_spilled_scalar_reg(const struct bpf_stack_state *stack) in bpf_is_spilled_scalar_reg()
/linux/kernel/bpf/
H A Dstates.c667 static bool is_spilled_scalar_after(const struct bpf_stack_state *stack, int im) in is_spilled_scalar_after()
674 struct bpf_stack_state *stack, int im) in is_stack_misc_after()
690 struct bpf_stack_state *stack, int im) in scalar_reg_for_stack()
H A Dverifier.c740 static void invalidate_dynptr(struct bpf_verifier_env *env, struct bpf_stack_state *stack) in invalidate_dynptr()
786 struct bpf_stack_state *stack; in dynptr_ref_cnt()
950 struct bpf_stack_state *slot = &state->stack[spi - i]; in mark_stack_slots_iter()
987 struct bpf_stack_state *slot = &state->stack[spi - i]; in unmark_stack_slots_iter()
1021 struct bpf_stack_state *slot = &state->stack[spi - i]; in is_iter_reg_valid_uninit()
1042 struct bpf_stack_state *slot = &state->stack[spi - i]; in is_iter_reg_valid_init()
1072 struct bpf_stack_state *slot; in mark_stack_slot_irq_flag()
1103 struct bpf_stack_state *slot; in unmark_stack_slot_irq_flag()
1167 struct bpf_stack_state *slot; in is_irq_flag_reg_valid_uninit()
1191 struct bpf_stack_state *slo in is_irq_flag_reg_valid_init()
[all...]