Searched defs:maxphyaddr (Results 1 – 3 of 3) sorted by relevance
3479 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask() local3554 int maxphyaddr = cpuid_maxphyaddr(vcpu); in reset_rsvds_bits_mask_ept() local
5678 int maxphyaddr = boot_cpu_data.x86_phys_bits; in kvm_set_mmio_spte_mask() local
6053 int maxphyaddr = cpuid_maxphyaddr(vcpu); in nested_vmx_check_vmptr() local