1 files changed, 29 insertions, 0 deletions
diff --git a/lib/efi_driver/efi_reset_riscv.c b/lib/efi_driver/efi_reset_riscv.c
new file mode 100644
index 00000000000..89b23522e95
--- /dev/null
+++ b/lib/efi_driver/efi_reset_riscv.c
@@ -0,0 +1,29 @@
+// SPDX-License-Identifier: GPL-2.0-or-later
+
+#include <efi_loader.h>
+#include <asm/sbi.h>
+
+void __efi_runtime EFIAPI efi_reset_system(enum efi_reset_type reset_type,
+					   efi_status_t reset_status,
+					   unsigned long data_size,
+					   void *reset_data)
+{
+	register unsigned long eid asm("a7") = SBI_EXT_SRST;
+	register unsigned long fid asm("a6") = SBI_EXT_SRST_RESET;
+	register unsigned long type asm("a0");
+	register unsigned long reason asm("a1") = SBI_SRST_RESET_REASON_NONE;
+
+	switch (reset_type) {
+	case EFI_RESET_WARM:
+		type = SBI_SRST_RESET_TYPE_WARM_REBOOT;
+		break;
+	case EFI_RESET_SHUTDOWN:
+		type = SBI_SRST_RESET_TYPE_SHUTDOWN;
+		break;
+	default:
+		type = SBI_SRST_RESET_TYPE_COLD_REBOOT;
+		break;
+	}
+	asm volatile ("ecall\n"
+		      : : "r" (eid), "r" (fid), "r" (type), "r" (reason));
+}