Searched refs:maxphyaddr (Results 1 – 6 of 6) sorted by relevance
/linux-4.1.27/arch/x86/kvm/ |
D | mmu.c | 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() [all …]
|
D | cpuid.h | 27 return vcpu->arch.maxphyaddr; in cpuid_maxphyaddr()
|
D | vmx.c | 6504 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_vmptr() local 6528 if (!PAGE_ALIGNED(vmptr) || (vmptr >> maxphyaddr)) { in nested_vmx_check_vmptr() 6546 if (!PAGE_ALIGNED(vmptr) || (vmptr >> maxphyaddr)) { in nested_vmx_check_vmptr() 6561 if (!PAGE_ALIGNED(vmptr) || (vmptr >> maxphyaddr)) { in nested_vmx_check_vmptr() 8663 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_get_vmcs12_pages() local 8667 vmcs12->apic_access_addr >> maxphyaddr) in nested_get_vmcs12_pages() 8684 vmcs12->virtual_apic_page_addr >> maxphyaddr) in nested_get_vmcs12_pages() 8708 vmcs12->posted_intr_desc_addr >> maxphyaddr) in nested_get_vmcs12_pages() 8760 int maxphyaddr; in nested_vmx_check_msr_bitmap_controls() local 8770 maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_msr_bitmap_controls() [all …]
|
D | cpuid.c | 112 vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); in kvm_update_cpuid()
|
D | x86.c | 5718 int maxphyaddr = boot_cpu_data.x86_phys_bits; in kvm_set_mmio_spte_mask() local 5725 mask = rsvd_bits(maxphyaddr, 51); in kvm_set_mmio_spte_mask() 5738 if (maxphyaddr == 52) in kvm_set_mmio_spte_mask() 7377 vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); in kvm_arch_vcpu_init()
|
/linux-4.1.27/arch/x86/include/asm/ |
D | kvm_host.h | 433 int maxphyaddr; member
|