Lines Matching refs:maxphyaddr
3590 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask() local
3630 rsvd_bits(maxphyaddr, 63) | in reset_rsvds_bits_mask()
3633 rsvd_bits(maxphyaddr, 62); /* PDE */ in reset_rsvds_bits_mask()
3635 rsvd_bits(maxphyaddr, 62); /* PTE */ in reset_rsvds_bits_mask()
3637 rsvd_bits(maxphyaddr, 62) | in reset_rsvds_bits_mask()
3643 nonleaf_bit8_rsvd | rsvd_bits(7, 7) | rsvd_bits(maxphyaddr, 51); in reset_rsvds_bits_mask()
3645 nonleaf_bit8_rsvd | gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51); in reset_rsvds_bits_mask()
3647 rsvd_bits(maxphyaddr, 51); in reset_rsvds_bits_mask()
3649 rsvd_bits(maxphyaddr, 51); in reset_rsvds_bits_mask()
3652 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) | in reset_rsvds_bits_mask()
3655 rsvd_bits(maxphyaddr, 51) | in reset_rsvds_bits_mask()
3665 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask_ept() local
3669 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7); in reset_rsvds_bits_mask_ept()
3671 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6); in reset_rsvds_bits_mask_ept()
3673 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6); in reset_rsvds_bits_mask_ept()
3674 context->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51); in reset_rsvds_bits_mask_ept()
3679 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29); in reset_rsvds_bits_mask_ept()
3681 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20); in reset_rsvds_bits_mask_ept()