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()
1564 	u64 *rvt = ctx->reg_val_types;  in reg_val_propagate_range()  local
1569 		rvt[idx] = (rvt[idx] & RVT_VISITED_MASK) | exit_rvt;  in reg_val_propagate_range()
1607 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1626 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1641 					rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1659 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1674 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1679 				rvt[idx] = RVT_DONE | exit_rvt;  in reg_val_propagate_range()
1680 				rvt[prog->len] = exit_rvt;  in reg_val_propagate_range()
1683 				rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1698 					rvt[idx] |= RVT_BRANCH_TAKEN;  in reg_val_propagate_range()
1702 					rvt[idx] |= RVT_FALL_THROUGH;  in reg_val_propagate_range()
1711 				rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1715 				rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1720 			rvt[idx] |= RVT_DONE;  in reg_val_propagate_range()
1765 		u64 rvt = ctx->reg_val_types[i];  in reg_val_propagate()  local
1767 		if ((rvt & RVT_VISITED_MASK) == RVT_DONE ||  in reg_val_propagate()
1768 		    (rvt & RVT_VISITED_MASK) == 0)  in reg_val_propagate()
1770 		if ((rvt & RVT_VISITED_MASK) == RVT_FALL_THROUGH) {  in reg_val_propagate()
1771 			reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, true);  in reg_val_propagate()
1774 			reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, false);  in reg_val_propagate()