4100 	struct rsvd_bits_validate *rsvd_check;  in get_mmio_spte()  local
4129 	rsvd_check = &vcpu->arch.mmu->shadow_zero_check;  in get_mmio_spte()
4132 		reserved |= is_rsvd_spte(rsvd_check, sptes[level], level);  in get_mmio_spte()
4140 			       get_rsvd_bits(rsvd_check, sptes[level], level));  in get_mmio_spte()
4694 static void __reset_rsvds_bits_mask(struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask()  argument
4702 	rsvd_check->bad_mt_xwr = 0;  in __reset_rsvds_bits_mask()
4726 		rsvd_check->rsvd_bits_mask[0][1] = 0;  in __reset_rsvds_bits_mask()
4727 		rsvd_check->rsvd_bits_mask[0][0] = 0;  in __reset_rsvds_bits_mask()
4728 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4729 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4732 			rsvd_check->rsvd_bits_mask[1][1] = 0;  in __reset_rsvds_bits_mask()
4738 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in __reset_rsvds_bits_mask()
4741 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in __reset_rsvds_bits_mask()
4744 		rsvd_check->rsvd_bits_mask[0][2] = rsvd_bits(63, 63) |  in __reset_rsvds_bits_mask()
4748 		rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd;	/* PDE */  in __reset_rsvds_bits_mask()
4749 		rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;	/* PTE */  in __reset_rsvds_bits_mask()
4750 		rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4752 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4753 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4756 		rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4759 		rsvd_check->rsvd_bits_mask[1][4] =  in __reset_rsvds_bits_mask()
4760 			rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask()
4763 		rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4766 		rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4768 		rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd;  in __reset_rsvds_bits_mask()
4769 		rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;  in __reset_rsvds_bits_mask()
4770 		rsvd_check->rsvd_bits_mask[1][3] =  in __reset_rsvds_bits_mask()
4771 			rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask()
4772 		rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4775 		rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4777 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4778 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4794 static void __reset_rsvds_bits_mask_ept(struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask_ept()  argument
4807 	rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4808 	rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4809 	rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd | rsvd_bits(3, 6) | large_1g_rsvd;  in __reset_rsvds_bits_mask_ept()
4810 	rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd | rsvd_bits(3, 6) | large_2m_rsvd;  in __reset_rsvds_bits_mask_ept()
4811 	rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;  in __reset_rsvds_bits_mask_ept()
4814 	rsvd_check->rsvd_bits_mask[1][4] = rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask_ept()
4815 	rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask_ept()
4816 	rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd | rsvd_bits(12, 29) | large_1g_rsvd;  in __reset_rsvds_bits_mask_ept()
4817 	rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | rsvd_bits(12, 20) | large_2m_rsvd;  in __reset_rsvds_bits_mask_ept()
4818 	rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask_ept()
4829 	rsvd_check->bad_mt_xwr = bad_mt_xwr;  in __reset_rsvds_bits_mask_ept()