Home
last modified time | relevance | path

Searched refs:true_reg (Results 1 – 1 of 1) sorted by relevance

/openbmc/linux/kernel/bpf/
H A Dverifier.c14127 ___mark_reg_known(true_reg, val); in reg_set_min_max()
14128 true_64off = true_reg->var_off; in reg_set_min_max()
14162 true_reg->u32_min_value = max(true_reg->u32_min_value, in reg_set_min_max()
14169 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max()
14181 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
14187 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()
14200 true_reg->u32_max_value = min(true_reg->u32_max_value, in reg_set_min_max()
14207 true_reg->umax_value = min(true_reg->umax_value, true_umax); in reg_set_min_max()
14219 true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax); in reg_set_min_max()
14225 true_reg->smax_value = min(true_reg->smax_value, true_smax); in reg_set_min_max()
[all …]