Home
last modified time | relevance | path

Searched refs:maxphyaddr (Results 1 – 2 of 2) sorted by relevance

/linux-3.4.99/arch/x86/kvm/
Dmmu.c3193 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()
[all …]
Dx86.c4832 int maxphyaddr = boot_cpu_data.x86_phys_bits; in kvm_set_mmio_spte_mask() local
4838 mask = ((1ull << (62 - maxphyaddr + 1)) - 1) << maxphyaddr; in kvm_set_mmio_spte_mask()
4846 if (maxphyaddr == 52) in kvm_set_mmio_spte_mask()