Searched defs:maxphyaddr (Results 1 – 4 of 4) sorted by relevance
6504 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_vmptr() local8663 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_get_vmcs12_pages() local8760 int maxphyaddr; in nested_vmx_check_msr_bitmap_controls() local8909 int maxphyaddr; in nested_vmx_check_msr_switch() local
3590 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask() local3665 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask_ept() local
5718 int maxphyaddr = boot_cpu_data.x86_phys_bits; in kvm_set_mmio_spte_mask() local
433 int maxphyaddr; member