mirror of
https://github.com/riscv-software-src/opensbi
synced 2025-11-03 21:48:45 +00:00
06754612f3
Add boot-time prints for list of available standard and experimental SBI extensions. Signed-off-by: Anup Patel <apatel@ventanamicro.com>
45 lines
1006 B
C
45 lines
1006 B
C
/*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*
|
|
* Copyright (c) 2020 Western Digital Corporation or its affiliates.
|
|
*
|
|
* Authors:
|
|
* Anup Patel <anup.patel@wdc.com>
|
|
* Atish Patra <atish.patra@wdc.com>
|
|
*/
|
|
|
|
#include <sbi/sbi_error.h>
|
|
#include <sbi/sbi_ecall.h>
|
|
#include <sbi/sbi_ecall_interface.h>
|
|
#include <sbi/sbi_trap.h>
|
|
#include <sbi/sbi_ipi.h>
|
|
|
|
static int sbi_ecall_ipi_handler(unsigned long extid, unsigned long funcid,
|
|
struct sbi_trap_regs *regs,
|
|
struct sbi_ecall_return *out)
|
|
{
|
|
int ret = 0;
|
|
|
|
if (funcid == SBI_EXT_IPI_SEND_IPI)
|
|
ret = sbi_ipi_send_smode(regs->a0, regs->a1);
|
|
else
|
|
ret = SBI_ENOTSUPP;
|
|
|
|
return ret;
|
|
}
|
|
|
|
struct sbi_ecall_extension ecall_ipi;
|
|
|
|
static int sbi_ecall_ipi_register_extensions(void)
|
|
{
|
|
return sbi_ecall_register_extension(&ecall_ipi);
|
|
}
|
|
|
|
struct sbi_ecall_extension ecall_ipi = {
|
|
.name = "ipi",
|
|
.extid_start = SBI_EXT_IPI,
|
|
.extid_end = SBI_EXT_IPI,
|
|
.register_extensions = sbi_ecall_ipi_register_extensions,
|
|
.handle = sbi_ecall_ipi_handler,
|
|
};
|