SATP_MODE_57
u64 satp_mode __ro_after_init = SATP_MODE_57;
case SATP_MODE_57:
guest_mode_append(VM_MODE_P56V57_4K, satp_mode >= SATP_MODE_57);
guest_mode_append(VM_MODE_P50V57_4K, satp_mode >= SATP_MODE_57);
guest_mode_append(VM_MODE_P41V57_4K, satp_mode >= SATP_MODE_57);
satp_mode = SATP_MODE_57;