mirror of
https://gitee.com/bianbu-linux/opensbi
synced 2025-04-24 14:57:07 -04:00
44 lines
1 KiB
C
44 lines
1 KiB
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,
|
|
const struct sbi_trap_regs *regs,
|
|
unsigned long *out_val,
|
|
struct sbi_trap_info *out_trap)
|
|
{
|
|
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 = {
|
|
.extid_start = SBI_EXT_IPI,
|
|
.extid_end = SBI_EXT_IPI,
|
|
.register_extensions = sbi_ecall_ipi_register_extensions,
|
|
.handle = sbi_ecall_ipi_handler,
|
|
};
|