1 // SPDX-License-Identifier: GPL-2.0-only
3 * SBI initialilization and all extension implementation.
5 * Copyright (c) 2020 Western Digital Corporation or its affiliates.
7 * Taken from Linux arch/riscv/kernel/sbi.c
11 #include <asm/encoding.h>
14 /* default SBI version is 0.1 */
15 unsigned long sbi_spec_version = SBI_SPEC_VERSION_DEFAULT;
17 struct sbiret sbi_ecall(int ext, int fid, unsigned long arg0,
18 unsigned long arg1, unsigned long arg2,
19 unsigned long arg3, unsigned long arg4,
24 register uintptr_t a0 asm ("a0") = (uintptr_t)(arg0);
25 register uintptr_t a1 asm ("a1") = (uintptr_t)(arg1);
26 register uintptr_t a2 asm ("a2") = (uintptr_t)(arg2);
27 register uintptr_t a3 asm ("a3") = (uintptr_t)(arg3);
28 register uintptr_t a4 asm ("a4") = (uintptr_t)(arg4);
29 register uintptr_t a5 asm ("a5") = (uintptr_t)(arg5);
30 register uintptr_t a6 asm ("a6") = (uintptr_t)(fid);
31 register uintptr_t a7 asm ("a7") = (uintptr_t)(ext);
33 : "+r" (a0), "+r" (a1)
34 : "r" (a2), "r" (a3), "r" (a4), "r" (a5), "r" (a6), "r" (a7)
43 * sbi_console_putchar() - Writes given character to the console device.
44 * @ch: The data to be written to the console.
48 void sbi_console_putchar(int ch)
50 sbi_ecall(SBI_EXT_0_1_CONSOLE_PUTCHAR, 0, ch, 0, 0, 0, 0, 0);
54 * sbi_console_getchar() - Reads a byte from console device.
56 * Returns the value read from console.
58 int sbi_console_getchar(void)
62 ret = sbi_ecall(SBI_EXT_0_1_CONSOLE_GETCHAR, 0, 0, 0, 0, 0, 0, 0);
68 * sbi_clear_ipi() - Clear any pending IPIs for the calling hart.
72 void sbi_clear_ipi(void)
74 sbi_ecall(SBI_EXT_0_1_CLEAR_IPI, 0, 0, 0, 0, 0, 0, 0);
78 * sbi_shutdown() - Remove all the harts from executing supervisor code.
82 void sbi_shutdown(void)
84 sbi_ecall(SBI_EXT_0_1_SHUTDOWN, 0, 0, 0, 0, 0, 0, 0);
88 * sbi_set_timer() - Program the timer for next timer event.
89 * @stime_value: The value after which next timer event should fire.
93 void sbi_set_timer(uint64_t stime_value)
95 #if __riscv_xlen == 32
96 sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value,
97 stime_value >> 32, 0, 0, 0, 0);
99 sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, 0, 0, 0, 0, 0);
104 * sbi_send_ipi() - Send an IPI to any hart.
105 * @hart_mask: A cpu mask containing all the target harts.
109 void sbi_send_ipi(const unsigned long *hart_mask)
111 sbi_ecall(SBI_EXT_0_1_SEND_IPI, 0, (unsigned long)hart_mask,
116 * sbi_remote_fence_i() - Execute FENCE.I instruction on given remote harts.
117 * @hart_mask: A cpu mask containing all the target harts.
121 void sbi_remote_fence_i(const unsigned long *hart_mask)
123 sbi_ecall(SBI_EXT_0_1_REMOTE_FENCE_I, 0, (unsigned long)hart_mask,
128 * sbi_remote_sfence_vma() - Execute SFENCE.VMA instructions on given remote
129 * harts for the specified virtual address range.
130 * @hart_mask: A cpu mask containing all the target harts.
131 * @start: Start of the virtual address
132 * @size: Total size of the virtual address range.
136 void sbi_remote_sfence_vma(const unsigned long *hart_mask,
140 sbi_ecall(SBI_EXT_0_1_REMOTE_SFENCE_VMA, 0,
141 (unsigned long)hart_mask, start, size, 0, 0, 0);
145 * sbi_remote_sfence_vma_asid() - Execute SFENCE.VMA instructions on given
146 * remote harts for a virtual address range belonging to a specific ASID.
148 * @hart_mask: A cpu mask containing all the target harts.
149 * @start: Start of the virtual address
150 * @size: Total size of the virtual address range.
151 * @asid: The value of address space identifier (ASID).
155 void sbi_remote_sfence_vma_asid(const unsigned long *hart_mask,
160 sbi_ecall(SBI_EXT_0_1_REMOTE_SFENCE_VMA_ASID, 0,
161 (unsigned long)hart_mask, start, size, asid, 0, 0);
165 * sbi_probe_extension() - Check if an SBI extension ID is supported or not.
166 * @extid: The extension ID to be probed.
168 * Return: Extension specific nonzero value f yes, -ENOTSUPP otherwise.
170 int sbi_probe_extension(int extid)
174 ret = sbi_ecall(SBI_EXT_BASE, SBI_EXT_BASE_PROBE_EXT, extid,