/* * SPDX-License-Identifier: BSD-2-Clause * * Copyright (c) 2020 Western Digital Corporation or its affiliates. * * Authors: * Anup Patel * Atish Patra */ #include #include #include #include #include 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 = { .extid_start = SBI_EXT_IPI, .extid_end = SBI_EXT_IPI, .handle = sbi_ecall_ipi_handler, };