|
@@ -22,6 +22,9 @@ enum sbi_ext_id {
|
|
|
SBI_EXT_0_1_REMOTE_SFENCE_VMA_ASID = 0x7,
|
|
|
SBI_EXT_0_1_SHUTDOWN = 0x8,
|
|
|
SBI_EXT_BASE = 0x10,
|
|
|
+ SBI_EXT_TIME = 0x54494D45,
|
|
|
+ SBI_EXT_IPI = 0x735049,
|
|
|
+ SBI_EXT_RFENCE = 0x52464E43,
|
|
|
};
|
|
|
|
|
|
enum sbi_ext_base_fid {
|
|
@@ -34,6 +37,20 @@ enum sbi_ext_base_fid {
|
|
|
SBI_EXT_BASE_GET_MIMPID,
|
|
|
};
|
|
|
|
|
|
+enum sbi_ext_time_fid {
|
|
|
+ SBI_EXT_TIME_SET_TIMER = 0,
|
|
|
+};
|
|
|
+
|
|
|
+enum sbi_ext_ipi_fid {
|
|
|
+ SBI_EXT_IPI_SEND_IPI = 0,
|
|
|
+};
|
|
|
+
|
|
|
+enum sbi_ext_rfence_fid {
|
|
|
+ SBI_EXT_RFENCE_REMOTE_FENCE_I = 0,
|
|
|
+ SBI_EXT_RFENCE_REMOTE_SFENCE_VMA,
|
|
|
+ SBI_EXT_RFENCE_REMOTE_SFENCE_VMA_ASID,
|
|
|
+};
|
|
|
+
|
|
|
#define SBI_SPEC_VERSION_DEFAULT 0x1
|
|
|
#define SBI_SPEC_VERSION_MAJOR_SHIFT 24
|
|
|
#define SBI_SPEC_VERSION_MAJOR_MASK 0x7f
|