VM_MODE_P36V47_16K
case VM_MODE_P36V47_16K:
case VM_MODE_P36V47_16K:
guest_mode_append(VM_MODE_P36V47_16K, ipa16k >= 36);
[VM_MODE_P36V47_16K] = "PA-bits:36, VA-bits:47, 16K pages",
[VM_MODE_P36V47_16K] = { 36, 47, 0x4000, 14 },
case VM_MODE_P36V47_16K:
case VM_MODE_P36V47_16K: