SATP_MODE_39
return SATP_MODE_39;
return SATP_MODE_39;
u64 satp_mode __ro_after_init = !IS_ENABLED(CONFIG_XIP_KERNEL) ? SATP_MODE_57 : SATP_MODE_39;
satp_mode = SATP_MODE_39;
} else if (satp_mode_limit == SATP_MODE_39) {
guest_mode_append(VM_MODE_P56V39_4K, satp_mode >= SATP_MODE_39);
guest_mode_append(VM_MODE_P50V39_4K, satp_mode >= SATP_MODE_39);
guest_mode_append(VM_MODE_P41V39_4K, satp_mode >= SATP_MODE_39);
satp_mode = SATP_MODE_39;