update_alu_sanitation_state 4299 kernel/bpf/verifier.c 	return update_alu_sanitation_state(aux, BPF_ALU_NON_POINTER, 0);
update_alu_sanitation_state 4332 kernel/bpf/verifier.c 	if (update_alu_sanitation_state(aux, alu_state, alu_limit))