SATP_MODE_57
u64 satp_mode __ro_after_init = !IS_ENABLED(CONFIG_XIP_KERNEL) ? SATP_MODE_57 : SATP_MODE_39;
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;