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 | 824 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in mark_stack_slots_dynptr() 841 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in invalidate_dynptr() 959 bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi)); in destroy_if_dynptr_stack_slot() 1086 bpf_mark_stack_write(env, state->frameno, BIT(spi - i)); in mark_stack_slots_iter() 1115 bpf_mark_stack_write(env, state->frameno, BIT(spi - i)); in unmark_stack_slots_iter() 1205 bpf_mark_stack_write(env, reg->frameno, BIT(spi)); in mark_stack_slot_irq_flag() 1261 bpf_mark_stack_write(env, reg->frameno, BIT(spi)); in unmark_stack_slot_irq_flag() 5302 bpf_mark_stack_write(env, state->frameno, BIT(spi)); in check_stack_write_fixed_off()
|