Lines Matching +full:ipi +full:- +full:id
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.
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
82 /* IPI (IPI) Extension */
137 * https://github.com/riscv/riscv-sbi-doc/blob/master/riscv-sbi.adoc
172 sbi_probe_extension(long id) in sbi_probe_extension() argument
174 return (SBI_CALL1(SBI_EXT_ID_BASE, SBI_BASE_PROBE_EXTENSION, id).value); in sbi_probe_extension()
180 /* IPI extension functions. */
193 * register a0 will contain the hart's ID, and a1 will contain the value of
206 * - SBI_HSM_STATUS_STARTED
207 * - SBI_HSM_STATUS_STOPPED
208 * - SBI_HSM_STATUS_START_PENDING
209 * - SBI_HSM_STATUS_STOP_PENDING
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