mirror of
https://github.com/brain-hackers/u-boot-brain
synced 2024-09-05 04:13:19 +09:00
83 lines
1.8 KiB
C
83 lines
1.8 KiB
C
![]() |
// SPDX-License-Identifier: GPL-2.0+
|
||
|
/*
|
||
|
* The 'sbi' command displays information about the SBI implementation.
|
||
|
*
|
||
|
* Copyright (c) 2020, Heinrich Schuchardt <xypron.glpk@gmx.de>
|
||
|
*/
|
||
|
|
||
|
#include <common.h>
|
||
|
#include <command.h>
|
||
|
#include <asm/sbi.h>
|
||
|
|
||
|
struct sbi_ext {
|
||
|
const u32 id;
|
||
|
const char *name;
|
||
|
};
|
||
|
|
||
|
static struct sbi_ext extensions[] = {
|
||
|
{ 0x00000000, "sbi_set_timer" },
|
||
|
{ 0x00000001, "sbi_console_putchar" },
|
||
|
{ 0x00000002, "sbi_console_getchar" },
|
||
|
{ 0x00000003, "sbi_clear_ipi" },
|
||
|
{ 0x00000004, "sbi_send_ipi" },
|
||
|
{ 0x00000005, "sbi_remote_fence_i" },
|
||
|
{ 0x00000006, "sbi_remote_sfence_vma" },
|
||
|
{ 0x00000007, "sbi_remote_sfence_vma_asid" },
|
||
|
{ 0x00000008, "sbi_shutdown" },
|
||
|
{ 0x00000010, "SBI Base Functionality" },
|
||
|
{ 0x54494D45, "Timer Extension" },
|
||
|
{ 0x00735049, "IPI Extension" },
|
||
|
{ 0x52464E43, "RFENCE Extension" },
|
||
|
{ 0x0048534D, "Hart State Management Extension" },
|
||
|
};
|
||
|
|
||
|
static int do_sbi(struct cmd_tbl *cmdtp, int flag, int argc,
|
||
|
char *const argv[])
|
||
|
{
|
||
|
int i;
|
||
|
long ret;
|
||
|
|
||
|
ret = sbi_get_spec_version();
|
||
|
if (ret >= 0)
|
||
|
printf("SBI %ld.%ld\n", ret >> 24, ret & 0xffffff);
|
||
|
ret = sbi_get_impl_id();
|
||
|
if (ret >= 0) {
|
||
|
switch (ret) {
|
||
|
case 0:
|
||
|
printf("Berkeley Boot Loader (BBL)\n");
|
||
|
break;
|
||
|
case 1:
|
||
|
printf("OpenSBI\n");
|
||
|
break;
|
||
|
case 2:
|
||
|
printf("Xvisor\n");
|
||
|
break;
|
||
|
case 3:
|
||
|
printf("KVM\n");
|
||
|
break;
|
||
|
default:
|
||
|
printf("Unknown implementation\n");
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
printf("Extensions:\n");
|
||
|
for (i = 0; i < ARRAY_SIZE(extensions); ++i) {
|
||
|
ret = sbi_probe_extension(extensions[i].id);
|
||
|
if (ret > 0)
|
||
|
printf(" %s\n", extensions[i].name);
|
||
|
}
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
#ifdef CONFIG_SYS_LONGHELP
|
||
|
static char sbi_help_text[] =
|
||
|
"- display SBI spec version, implementation, and available extensions";
|
||
|
|
||
|
#endif
|
||
|
|
||
|
U_BOOT_CMD_COMPLETE(
|
||
|
sbi, 1, 0, do_sbi,
|
||
|
"display SBI information",
|
||
|
sbi_help_text, NULL
|
||
|
);
|