Searched defs:maxphyaddr (Results 1 – 4 of 4) sorted by relevance
6644 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_vmptr() local9060 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_get_vmcs12_pages() local9157 int maxphyaddr; in nested_vmx_check_msr_bitmap_controls() local9306 int maxphyaddr; in nested_vmx_check_msr_switch() local
3619 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask()3710 int maxphyaddr, bool execonly) in __reset_rsvds_bits_mask_ept()
5696 int maxphyaddr = boot_cpu_data.x86_phys_bits; in kvm_set_mmio_spte_mask() local
471 int maxphyaddr; member