Searched refs:bpf_mark_stack_write (Results 1 – 2 of 2) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | liveness.c | 351 void bpf_mark_stack_write(struct bpf_verifier_env *env, u32 frame, u64 mask) in bpf_mark_stack_write() function 552 bpf_mark_stack_write(env, frame, insn->must_write_acc); in propagate_to_outer_instance()
|
| H A D | verifier.c | 817 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in mark_stack_slots_dynptr() 834 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in invalidate_dynptr() 952 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in destroy_if_dynptr_stack_slot() 1079 bpf_mark_stack_write(env, state->frameno, BIT(spi - i)); in mark_stack_slots_iter() 1108 bpf_mark_stack_write(env, state->frameno, BIT(spi - i)); in unmark_stack_slots_iter() 1198 bpf_mark_stack_write(env, reg->frameno, BIT(spi)); in mark_stack_slot_irq_flag() 1254 bpf_mark_stack_write(env, reg->frameno, BIT(spi)); in unmark_stack_slot_irq_flag() 5281 bpf_mark_stack_write(env, state->frameno, BIT(spi)); in check_stack_write_fixed_off()
|