VM_MODE_P40V48_4K
case VM_MODE_P40V48_4K:
case VM_MODE_P40V48_4K:
guest_mode_append(VM_MODE_P40V48_4K, ipa4k >= 40);
vm_mode_default = ipa4k >= 40 ? VM_MODE_P40V48_4K : NUM_VM_MODES;
[VM_MODE_P40V48_4K] = "PA-bits:40, VA-bits:48, 4K pages",
[VM_MODE_P40V48_4K] = { 40, 48, 0x1000, 12 },
case VM_MODE_P40V48_4K: