Searched refs:bpf_mark_stack_write (Results 1 – 2 of 2) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | liveness.c | 350 void bpf_mark_stack_write(struct bpf_verifier_env *env, u32 frame, u64 mask) in bpf_mark_stack_write() function 551 bpf_mark_stack_write(env, frame, insn->must_write_acc); in propagate_to_outer_instance()
|
| H A D | verifier.c | 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() 5136 bpf_mark_stack_write(env, state->frameno, BIT(spi)); in check_stack_write_fixed_off()
|