Lines Matching +full:hart +full:- +full:3
1 /*-
2 * Copyright (c) 2016-2017 Ruslan Bukin <br@bsdpad.com>
8 * FA8750-10-C-0237 ("CTSRD"), as part of the DARPA CRASH research programme.
49 #define SBI_IMPL_ID_KVM 3
61 #define SBI_ERR_FAILURE -1
62 #define SBI_ERR_NOT_SUPPORTED -2
63 #define SBI_ERR_INVALID_PARAM -3
64 #define SBI_ERR_DENIED -4
65 #define SBI_ERR_INVALID_ADDRESS -5
66 #define SBI_ERR_ALREADY_AVAILABLE -6
73 #define SBI_BASE_PROBE_EXTENSION 3
91 #define SBI_RFNC_REMOTE_HFENCE_GVMA_VMID 3
96 /* Hart State Management (HSM) Extension */
104 #define SBI_HSM_STATUS_STOP_PENDING 3
119 #define SBI_CLEAR_IPI 3
137 * https://github.com/riscv/riscv-sbi-doc/blob/master/riscv-sbi.adoc
189 /* Hart State Management extension functions. */
192 * Start execution on the specified hart at physical address start_addr. The
193 * register a0 will contain the hart's ID, and a1 will contain the value of
196 int sbi_hsm_hart_start(u_long hart, u_long start_addr, u_long priv);
199 * Stop execution on the current hart. Interrupts should be disabled, or this
205 * Get the execution status of the specified hart. The status will be one of:
206 * - SBI_HSM_STATUS_STARTED
207 * - SBI_HSM_STATUS_STOPPED
208 * - SBI_HSM_STATUS_START_PENDING
209 * - SBI_HSM_STATUS_STOP_PENDING
211 int sbi_hsm_hart_status(u_long hart);
217 * - SBI_SRST_TYPE_SHUTDOWN
218 * - SBI_SRST_TYPE_COLD_REBOOT
219 * - SBI_SRST_TYPE_WARM_REBOOT
220 * - SBI_SRST_REASON_NONE
221 * - SBI_SRST_REASON_SYSTEM_FAILURE