Searched refs:u32_max_value (Results 1 – 2 of 2) sorted by relevance
1432 if (reg->u32_max_value != reg->umax_value && in print_verifier_state()1433 reg->u32_max_value != U32_MAX) in print_verifier_state()1434 verbose_a("u32_max=%d", (int)(reg->u32_max_value)); in print_verifier_state()1891 reg->u32_max_value = (u32)imm; in ___mark_reg_known()1913 reg->u32_max_value = (u32)imm; in __mark_reg32_known()2037 reg->u32_max_value = U32_MAX; in __mark_reg_unbounded()2053 reg->u32_max_value = U32_MAX; in __mark_reg32_unbounded()2067 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()2101 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()2102 min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()[all …]
156 u32 u32_max_value; /* maximum possible (u32)value */ member
