Lines Matching refs:rsvd_bits
4653 gbpages_bit_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask()
4656 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 62); in __reset_rsvds_bits_mask()
4658 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51); in __reset_rsvds_bits_mask()
4662 high_bits_rsvd |= rsvd_bits(63, 63); in __reset_rsvds_bits_mask()
4669 nonleaf_bit8_rsvd = rsvd_bits(8, 8); in __reset_rsvds_bits_mask()
4686 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21); in __reset_rsvds_bits_mask()
4689 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21); in __reset_rsvds_bits_mask()
4692 rsvd_check->rsvd_bits_mask[0][2] = rsvd_bits(63, 63) | in __reset_rsvds_bits_mask()
4694 rsvd_bits(5, 8) | in __reset_rsvds_bits_mask()
4695 rsvd_bits(1, 2); /* PDPTE */ in __reset_rsvds_bits_mask()
4699 rsvd_bits(13, 20); /* large page */ in __reset_rsvds_bits_mask()
4706 rsvd_bits(7, 7); in __reset_rsvds_bits_mask()
4713 rsvd_bits(7, 7); in __reset_rsvds_bits_mask()
4722 rsvd_bits(13, 29); in __reset_rsvds_bits_mask()
4724 rsvd_bits(13, 20); /* large page */ in __reset_rsvds_bits_mask()
4761 u64 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51); in __reset_rsvds_bits_mask_ept()
4766 large_1g_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask_ept()
4768 large_2m_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask_ept()
4770 rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | rsvd_bits(3, 7); in __reset_rsvds_bits_mask_ept()
4771 rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | rsvd_bits(3, 7); in __reset_rsvds_bits_mask_ept()
4772 rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd | rsvd_bits(3, 6) | large_1g_rsvd; in __reset_rsvds_bits_mask_ept()
4773 rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd | rsvd_bits(3, 6) | large_2m_rsvd; in __reset_rsvds_bits_mask_ept()
4779 rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd | rsvd_bits(12, 29) | large_1g_rsvd; in __reset_rsvds_bits_mask_ept()
4780 rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | rsvd_bits(12, 20) | large_2m_rsvd; in __reset_rsvds_bits_mask_ept()
4805 return rsvd_bits(shadow_phys_bits, 63); in reserved_hpa_bits()