Home
last modified time | relevance | path

Searched refs:NOT_INIT (Results 1 - 2 of 2) sorted by relevance

/device/soc/rockchip/common/sdk_linux/kernel/bpf/
H A Dverifier.c142 * are set to NOT_INIT to indicate that they are no longer readable.
485 [NOT_INIT] = "?", in reg_type_str()
572 if (t == NOT_INIT) { in print_verifier_state()
1348 reg->type = NOT_INIT; in verifier_mark_reg_not_init()
1609 * marked as NOT_INIT already. in is_reg64()
1728 if (reg->type == NOT_INIT) { in check_reg_arg()
2356 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()
2453 if (!env->allow_ptr_leaks && *stype != NOT_INIT && *stype != SCALAR_VALUE) { in check_stack_write_var_off()
2465 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()
4373 if (expected == NOT_INIT) { in check_reg_type()
[all...]
/device/soc/rockchip/common/sdk_linux/include/linux/
H A Dbpf.h398 NOT_INIT = 0, /* nothing was written into register */ enumerator

Completed in 14 milliseconds