Lines Matching refs:maxphyaddr
3193 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask() local
3219 rsvd_bits(maxphyaddr, 63) | in reset_rsvds_bits_mask()
3222 rsvd_bits(maxphyaddr, 62); /* PDE */ in reset_rsvds_bits_mask()
3224 rsvd_bits(maxphyaddr, 62); /* PTE */ in reset_rsvds_bits_mask()
3226 rsvd_bits(maxphyaddr, 62) | in reset_rsvds_bits_mask()
3232 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8); in reset_rsvds_bits_mask()
3234 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8); in reset_rsvds_bits_mask()
3236 rsvd_bits(maxphyaddr, 51); in reset_rsvds_bits_mask()
3238 rsvd_bits(maxphyaddr, 51); in reset_rsvds_bits_mask()
3241 rsvd_bits(maxphyaddr, 51) | in reset_rsvds_bits_mask()
3244 rsvd_bits(maxphyaddr, 51) | in reset_rsvds_bits_mask()