1 // SPDX-License-Identifier: GPL-2.0+
3 * The 'sbi' command displays information about the SBI implementation.
17 static struct sbi_ext extensions[] = {
18 { 0x00000000, "sbi_set_timer" },
19 { 0x00000001, "sbi_console_putchar" },
20 { 0x00000002, "sbi_console_getchar" },
21 { 0x00000003, "sbi_clear_ipi" },
22 { 0x00000004, "sbi_send_ipi" },
23 { 0x00000005, "sbi_remote_fence_i" },
24 { 0x00000006, "sbi_remote_sfence_vma" },
25 { 0x00000007, "sbi_remote_sfence_vma_asid" },
26 { 0x00000008, "sbi_shutdown" },
27 { 0x00000010, "SBI Base Functionality" },
28 { 0x54494D45, "Timer Extension" },
29 { 0x00735049, "IPI Extension" },
30 { 0x52464E43, "RFENCE Extension" },
31 { 0x0048534D, "Hart State Management Extension" },
34 static int do_sbi(struct cmd_tbl *cmdtp, int flag, int argc,
40 ret = sbi_get_spec_version();
42 printf("SBI %ld.%ld\n", ret >> 24, ret & 0xffffff);
43 ret = sbi_get_impl_id();
47 printf("Berkeley Boot Loader (BBL)\n");
59 printf("Unknown implementation\n");
63 printf("Extensions:\n");
64 for (i = 0; i < ARRAY_SIZE(extensions); ++i) {
65 ret = sbi_probe_extension(extensions[i].id);
67 printf(" %s\n", extensions[i].name);
72 #ifdef CONFIG_SYS_LONGHELP
73 static char sbi_help_text[] =
74 "- display SBI spec version, implementation, and available extensions";
80 "display SBI information",