VM_MODE_P40V48_64K
case VM_MODE_P40V48_64K:
case VM_MODE_P40V48_64K:
guest_mode_append(VM_MODE_P40V48_64K, ipa64k >= 40);
[VM_MODE_P40V48_64K] = "PA-bits:40, VA-bits:48, 64K pages",
[VM_MODE_P40V48_64K] = { 40, 48, 0x10000, 16 },
case VM_MODE_P40V48_64K: