Searched refs:__mark_reg_unknown (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 769 static void __mark_reg_unknown(const struct bpf_verifier_env *env,
777 __mark_reg_unknown(env, reg); in mark_reg_invalid()
2478 static void __mark_reg_unknown(const struct bpf_verifier_env *env, in __mark_reg_unknown() function
2488 __mark_reg_unknown(env, regs + regno); in mark_reg_unknown()
2513 __mark_reg_unknown(env, reg); in bpf_mark_reg_not_init()
6933 __mark_reg_unknown(env, &state->stack[spi].spilled_ptr); in check_stack_range_initialized()
7702 __mark_reg_unknown(env, rcur); in maybe_widen_reg()
13769 __mark_reg_unknown(env, dst_reg); in adjust_ptr_min_max_vals()
13776 __mark_reg_unknown(env, dst_reg); in adjust_ptr_min_max_vals()
14918 __mark_reg_unknown(env, dst_reg); in adjust_scalar_min_max_vals()
[all …]
|