1 files changed, 0 insertions, 57 deletions
diff --git a/arch/riscv64/include/sbi.h b/arch/riscv64/include/sbi.h
deleted file mode 100644
index 44eec4f..0000000
--- a/arch/riscv64/include/sbi.h
+++ /dev/null
@@ -1,57 +0,0 @@
-#ifndef APOS_RISCV_SBI_H
-#define APOS_RISCV_SBI_H
-
-/**
- * @file sbi.h
- * riscv64-specific OpenSBI definitions.
- */
-
-#include <apos/types.h>
-
-struct sbiret {
-	long error;
-	long value;
-};
-
-enum {
-	SBI_SUCCESS = 0,
-	SBI_ERR_FAILED = -1,
-	SBI_ERR_NOT_SUPPORTED = -2,
-	SBI_ERR_INVALID_PARAM = -3,
-	SBI_ERR_DENIED = -4,
-	SBI_ERR_INVALID_ADDRESS = -5,
-	SBI_ERR_ALREADY_AVAILABLE = -6,
-	SBI_ERR_ALREADY_STARTED = -7,
-	SBI_ERR_ALREADY_STOPEED = -8,
-};
-
-/* TODO: query which extensions are available */
-struct sbiret sbi_ecall(int ext, int fid, unsigned long arg0,
-                        unsigned long arg1, unsigned long arg2,
-                        unsigned long arg3, unsigned long arg4,
-                        unsigned long arg5);
-
-#define EID_TIME      0x54494D45
-#define FID_SET_TIMER 0
-static inline struct sbiret sbi_set_timer(uint64_t stime_value)
-{
-	/* TODO: read timebase from fdt, seems to be clocks/sec for accurate
-	 * timers */
-#if __riscv_xlen == 32
-	return sbi_ecall(EID_TIME, FID_SET_TIMER, stime_value,
-	                 stime_value >> 32, 0, 0, 0, 0);
-#else
-	return sbi_ecall(EID_TIME, FID_SET_TIMER, stime_value, 0, 0, 0, 0, 0);
-#endif
-}
-
-#define EID_SRST  0x53525354
-#define FID_RESET 0
-static inline struct sbiret sbi_system_reset(uint32_t reset_type,
-                                             uint32_t reset_reason)
-{
-	return sbi_ecall(EID_SRST, FID_RESET, reset_type, reset_reason, 0, 0, 0,
-	                 0);
-}
-
-#endif /* APOS_RISCV_SBI_H */