Lines Matching refs:maxphyaddr
6644 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_vmptr() local
6668 if (!PAGE_ALIGNED(vmptr) || (vmptr >> maxphyaddr)) { in nested_vmx_check_vmptr()
6686 if (!PAGE_ALIGNED(vmptr) || (vmptr >> maxphyaddr)) { in nested_vmx_check_vmptr()
6701 if (!PAGE_ALIGNED(vmptr) || (vmptr >> maxphyaddr)) { in nested_vmx_check_vmptr()
9060 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_get_vmcs12_pages() local
9064 vmcs12->apic_access_addr >> maxphyaddr) in nested_get_vmcs12_pages()
9081 vmcs12->virtual_apic_page_addr >> maxphyaddr) in nested_get_vmcs12_pages()
9105 vmcs12->posted_intr_desc_addr >> maxphyaddr) in nested_get_vmcs12_pages()
9157 int maxphyaddr; in nested_vmx_check_msr_bitmap_controls() local
9167 maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_msr_bitmap_controls()
9170 ((addr + PAGE_SIZE) >> maxphyaddr)) in nested_vmx_check_msr_bitmap_controls()
9306 int maxphyaddr; in nested_vmx_check_msr_switch() local
9316 maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_msr_switch()
9317 if (!IS_ALIGNED(addr, 16) || addr >> maxphyaddr || in nested_vmx_check_msr_switch()
9318 (addr + count * sizeof(struct vmx_msr_entry) - 1) >> maxphyaddr) { in nested_vmx_check_msr_switch()
9321 addr_field, maxphyaddr, count, addr); in nested_vmx_check_msr_switch()