virt_as           745 arch/x86/kvm/cpuid.c 		unsigned virt_as = max((entry->eax >> 8) & 0xff, 48U);
virt_as           750 arch/x86/kvm/cpuid.c 		entry->eax = g_phys_as | (virt_as << 8);