|
@@ -12,7 +12,6 @@
|
|
#include <linux/types.h>
|
|
#include <linux/types.h>
|
|
|
|
|
|
enum sbi_ext_id {
|
|
enum sbi_ext_id {
|
|
-#ifdef CONFIG_SBI_V01
|
|
|
|
SBI_EXT_0_1_SET_TIMER = 0x0,
|
|
SBI_EXT_0_1_SET_TIMER = 0x0,
|
|
SBI_EXT_0_1_CONSOLE_PUTCHAR = 0x1,
|
|
SBI_EXT_0_1_CONSOLE_PUTCHAR = 0x1,
|
|
SBI_EXT_0_1_CONSOLE_GETCHAR = 0x2,
|
|
SBI_EXT_0_1_CONSOLE_GETCHAR = 0x2,
|
|
@@ -22,11 +21,12 @@ enum sbi_ext_id {
|
|
SBI_EXT_0_1_REMOTE_SFENCE_VMA = 0x6,
|
|
SBI_EXT_0_1_REMOTE_SFENCE_VMA = 0x6,
|
|
SBI_EXT_0_1_REMOTE_SFENCE_VMA_ASID = 0x7,
|
|
SBI_EXT_0_1_REMOTE_SFENCE_VMA_ASID = 0x7,
|
|
SBI_EXT_0_1_SHUTDOWN = 0x8,
|
|
SBI_EXT_0_1_SHUTDOWN = 0x8,
|
|
-#endif
|
|
|
|
SBI_EXT_BASE = 0x10,
|
|
SBI_EXT_BASE = 0x10,
|
|
SBI_EXT_TIME = 0x54494D45,
|
|
SBI_EXT_TIME = 0x54494D45,
|
|
SBI_EXT_IPI = 0x735049,
|
|
SBI_EXT_IPI = 0x735049,
|
|
SBI_EXT_RFENCE = 0x52464E43,
|
|
SBI_EXT_RFENCE = 0x52464E43,
|
|
|
|
+ SBI_EXT_HSM = 0x48534D,
|
|
|
|
+ SBI_EXT_SRST = 0x53525354,
|
|
};
|
|
};
|
|
|
|
|
|
enum sbi_ext_base_fid {
|
|
enum sbi_ext_base_fid {
|
|
@@ -51,6 +51,41 @@ enum sbi_ext_rfence_fid {
|
|
SBI_EXT_RFENCE_REMOTE_FENCE_I = 0,
|
|
SBI_EXT_RFENCE_REMOTE_FENCE_I = 0,
|
|
SBI_EXT_RFENCE_REMOTE_SFENCE_VMA,
|
|
SBI_EXT_RFENCE_REMOTE_SFENCE_VMA,
|
|
SBI_EXT_RFENCE_REMOTE_SFENCE_VMA_ASID,
|
|
SBI_EXT_RFENCE_REMOTE_SFENCE_VMA_ASID,
|
|
|
|
+ SBI_EXT_RFENCE_REMOTE_HFENCE_GVMA_VMID,
|
|
|
|
+ SBI_EXT_RFENCE_REMOTE_HFENCE_GVMA,
|
|
|
|
+ SBI_EXT_RFENCE_REMOTE_HFENCE_VVMA_ASID,
|
|
|
|
+ SBI_EXT_RFENCE_REMOTE_HFENCE_VVMA,
|
|
|
|
+};
|
|
|
|
+
|
|
|
|
+enum sbi_ext_hsm_fid {
|
|
|
|
+ SBI_EXT_HSM_HART_START = 0,
|
|
|
|
+ SBI_EXT_HSM_HART_STOP,
|
|
|
|
+ SBI_EXT_HSM_HART_STATUS,
|
|
|
|
+ SBI_EXT_HSM_HART_SUSPEND,
|
|
|
|
+};
|
|
|
|
+
|
|
|
|
+enum sbi_hsm_hart_status {
|
|
|
|
+ SBI_HSM_HART_STATUS_STARTED = 0,
|
|
|
|
+ SBI_HSM_HART_STATUS_STOPPED,
|
|
|
|
+ SBI_HSM_HART_STATUS_START_PENDING,
|
|
|
|
+ SBI_HSM_HART_STATUS_STOP_PENDING,
|
|
|
|
+ SBI_HSM_HART_STATUS_SUSPEND_PENDING,
|
|
|
|
+ SBI_HSM_HART_STATUS_RESUME_PENDING,
|
|
|
|
+};
|
|
|
|
+
|
|
|
|
+enum sbi_ext_srst_fid {
|
|
|
|
+ SBI_EXT_SRST_RESET = 0,
|
|
|
|
+};
|
|
|
|
+
|
|
|
|
+enum sbi_srst_reset_type {
|
|
|
|
+ SBI_SRST_RESET_TYPE_SHUTDOWN = 0,
|
|
|
|
+ SBI_SRST_RESET_TYPE_COLD_REBOOT,
|
|
|
|
+ SBI_SRST_RESET_TYPE_WARM_REBOOT,
|
|
|
|
+};
|
|
|
|
+
|
|
|
|
+enum sbi_srst_reset_reason {
|
|
|
|
+ SBI_SRST_RESET_REASON_NONE = 0,
|
|
|
|
+ SBI_SRST_RESET_REASON_SYS_FAILURE,
|
|
};
|
|
};
|
|
|
|
|
|
#ifdef CONFIG_SBI_V01
|
|
#ifdef CONFIG_SBI_V01
|