Lines Matching refs:rsvd_bits
4705 gbpages_bit_rsvd = rsvd_bits(7, 7);
4708 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 62);
4710 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51);
4714 high_bits_rsvd |= rsvd_bits(63, 63);
4721 nonleaf_bit8_rsvd = rsvd_bits(8, 8);
4738 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
4741 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
4744 rsvd_check->rsvd_bits_mask[0][2] = rsvd_bits(63, 63) |
4746 rsvd_bits(5, 8) |
4747 rsvd_bits(1, 2); /* PDPTE */
4751 rsvd_bits(13, 20); /* large page */
4758 rsvd_bits(7, 7);
4765 rsvd_bits(7, 7);
4774 rsvd_bits(13, 29);
4776 rsvd_bits(13, 20); /* large page */
4798 u64 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51);
4803 large_1g_rsvd = rsvd_bits(7, 7);
4805 large_2m_rsvd = rsvd_bits(7, 7);
4807 rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | rsvd_bits(3, 7);
4808 rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | rsvd_bits(3, 7);
4809 rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd | rsvd_bits(3, 6) | large_1g_rsvd;
4810 rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd | rsvd_bits(3, 6) | large_2m_rsvd;
4816 rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd | rsvd_bits(12, 29) | large_1g_rsvd;
4817 rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | rsvd_bits(12, 20) | large_2m_rsvd;
4842 return rsvd_bits(shadow_phys_bits, 63);