Lines Matching refs:maxphyaddr
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()
8773 ((addr + PAGE_SIZE) >> maxphyaddr)) in nested_vmx_check_msr_bitmap_controls()
8909 int maxphyaddr; in nested_vmx_check_msr_switch() local
8919 maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_msr_switch()
8920 if (!IS_ALIGNED(addr, 16) || addr >> maxphyaddr || in nested_vmx_check_msr_switch()
8921 (addr + count * sizeof(struct vmx_msr_entry) - 1) >> maxphyaddr) { in nested_vmx_check_msr_switch()
8924 addr_field, maxphyaddr, count, addr); in nested_vmx_check_msr_switch()