Lines Matching refs:rsvd_bits
4005 exb_bit_rsvd = rsvd_bits(63, 63);
4007 gbpages_bit_rsvd = rsvd_bits(7, 7);
4014 nonleaf_bit8_rsvd = rsvd_bits(8, 8);
4031 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
4034 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
4038 rsvd_bits(maxphyaddr, 63) |
4039 rsvd_bits(5, 8) | rsvd_bits(1, 2); /* PDPTE */
4041 rsvd_bits(maxphyaddr, 62); /* PDE */
4043 rsvd_bits(maxphyaddr, 62); /* PTE */
4045 rsvd_bits(maxphyaddr, 62) |
4046 rsvd_bits(13, 20); /* large page */
4052 nonleaf_bit8_rsvd | rsvd_bits(7, 7) |
4053 rsvd_bits(maxphyaddr, 51);
4059 nonleaf_bit8_rsvd | rsvd_bits(7, 7) |
4060 rsvd_bits(maxphyaddr, 51);
4063 rsvd_bits(maxphyaddr, 51);
4065 rsvd_bits(maxphyaddr, 51);
4067 rsvd_bits(maxphyaddr, 51);
4071 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) |
4072 rsvd_bits(13, 29);
4074 rsvd_bits(maxphyaddr, 51) |
4075 rsvd_bits(13, 20); /* large page */
4100 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);
4102 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);
4104 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);
4106 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);
4107 rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);
4113 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29);
4115 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20);