Home
last modified time | relevance | path

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

/linux-4.1.27/arch/x86/kvm/
Dmmu.c3590 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 …]
Dcpuid.h27 return vcpu->arch.maxphyaddr; in cpuid_maxphyaddr()
Dvmx.c6504 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 …]
Dcpuid.c112 vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); in kvm_update_cpuid()
Dx86.c5718 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/
Dkvm_host.h433 int maxphyaddr; member