4941 		gbpages_bit_rsvd = rsvd_bits(7, 7);  in __reset_rsvds_bits_mask()
4944 		high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 62);  in __reset_rsvds_bits_mask()
4946 		high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51);  in __reset_rsvds_bits_mask()
4950 		high_bits_rsvd |= rsvd_bits(63, 63);  in __reset_rsvds_bits_mask()
4957 		nonleaf_bit8_rsvd = rsvd_bits(8, 8);  in __reset_rsvds_bits_mask()
4974 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in __reset_rsvds_bits_mask()
4977 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in __reset_rsvds_bits_mask()
4980 		rsvd_check->rsvd_bits_mask[0][2] = rsvd_bits(63, 63) |  in __reset_rsvds_bits_mask()
4982 						   rsvd_bits(5, 8) |  in __reset_rsvds_bits_mask()
4983 						   rsvd_bits(1, 2);	/* PDPTE */  in __reset_rsvds_bits_mask()
4987 						   rsvd_bits(13, 20);	/* large page */  in __reset_rsvds_bits_mask()
4994 						   rsvd_bits(7, 7);  in __reset_rsvds_bits_mask()
5001 						   rsvd_bits(7, 7);  in __reset_rsvds_bits_mask()
5010 						   rsvd_bits(13, 29);  in __reset_rsvds_bits_mask()
5012 						   rsvd_bits(13, 20); /* large page */  in __reset_rsvds_bits_mask()
5034 	u64 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51);  in __reset_rsvds_bits_mask_ept()
5039 		large_1g_rsvd = rsvd_bits(7, 7);  in __reset_rsvds_bits_mask_ept()
5041 		large_2m_rsvd = rsvd_bits(7, 7);  in __reset_rsvds_bits_mask_ept()
5043 	rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
5044 	rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
5045 	rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd | rsvd_bits(3, 6) | large_1g_rsvd;  in __reset_rsvds_bits_mask_ept()
5046 	rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd | rsvd_bits(3, 6) | large_2m_rsvd;  in __reset_rsvds_bits_mask_ept()
5052 	rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd | rsvd_bits(12, 29) | large_1g_rsvd;  in __reset_rsvds_bits_mask_ept()
5053 	rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | rsvd_bits(12, 20) | large_2m_rsvd;  in __reset_rsvds_bits_mask_ept()
5078 	return rsvd_bits(kvm_host.maxphyaddr, 63);  in reserved_hpa_bits()