VM_MODE_P56V57_4K
guest_mode_append(VM_MODE_P56V57_4K, satp_mode >= SATP_MODE_57);
[VM_MODE_P56V57_4K] = "PA-bits:56, VA-bits:57, 4K pages",
[VM_MODE_P56V57_4K] = { 56, 57, 0x1000, 12 },
case VM_MODE_P56V57_4K:
case VM_MODE_P56V57_4K: