113 static void set_reg_val_type(u64 *rvt, int reg, enum reg_val_type type)  in set_reg_val_type()  argument
115 	*rvt &= ~(7ull << (reg * 3));  in set_reg_val_type()
116 	*rvt |= ((u64)type << (reg * 3));  in set_reg_val_type()
1568 	u64 *rvt = ctx->reg_val_types;  in reg_val_propagate_range()  local
1573 		rvt[idx] = (rvt[idx] & RVT_VISITED_MASK) | exit_rvt;  in reg_val_propagate_range()
1611 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1630 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1645 					rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1663 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1678 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1683 				rvt[idx] = RVT_DONE | exit_rvt;  in reg_val_propagate_range()
1684 				rvt[prog->len] = exit_rvt;  in reg_val_propagate_range()
1687 				rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1702 					rvt[idx] |= RVT_BRANCH_TAKEN;  in reg_val_propagate_range()
1706 					rvt[idx] |= RVT_FALL_THROUGH;  in reg_val_propagate_range()
1715 				rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1719 				rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1724 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1769 		u64 rvt = ctx->reg_val_types[i];  in reg_val_propagate()  local
1771 		if ((rvt & RVT_VISITED_MASK) == RVT_DONE ||  in reg_val_propagate()
1772 		    (rvt & RVT_VISITED_MASK) == 0)  in reg_val_propagate()
1774 		if ((rvt & RVT_VISITED_MASK) == RVT_FALL_THROUGH) {  in reg_val_propagate()
1775 			reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, true);  in reg_val_propagate()
1778 			reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, false);  in reg_val_propagate()