sbi_ecall_ipi.c 1.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. /*
  2. * SPDX-License-Identifier: BSD-2-Clause
  3. *
  4. * Copyright (c) 2020 Western Digital Corporation or its affiliates.
  5. *
  6. * Authors:
  7. * Anup Patel <anup.patel@wdc.com>
  8. * Atish Patra <atish.patra@wdc.com>
  9. */
  10. #include <sbi/sbi_error.h>
  11. #include <sbi/sbi_ecall.h>
  12. #include <sbi/sbi_ecall_interface.h>
  13. #include <sbi/sbi_trap.h>
  14. #include <sbi/sbi_ipi.h>
  15. #include <sbi/sbi_console.h>
  16. static int sbi_ecall_ipi_handler(unsigned long extid, unsigned long funcid,
  17. const struct sbi_trap_regs *regs,
  18. unsigned long *out_val,
  19. struct sbi_trap_info *out_trap)
  20. {
  21. int ret = 0;
  22. if (funcid == SBI_EXT_IPI_SEND_IPI)
  23. ret = sbi_ipi_send_smode(regs->a0, regs->a1);
  24. else if (funcid == SBI_EXT_IPI_SEND_EXT_DOMAIN)
  25. ret = sbi_ipi_send_ext(regs->a1, NULL, regs->a2);
  26. else if (funcid == SBI_EXT_IPI_SET_AMP_DATA_ADDR)
  27. sbi_ipi_set_amp_data_addr(regs->a0);
  28. else
  29. ret = SBI_ENOTSUPP;
  30. return ret;
  31. }
  32. struct sbi_ecall_extension ecall_ipi = {
  33. .extid_start = SBI_EXT_IPI,
  34. .extid_end = SBI_EXT_IPI,
  35. .handle = sbi_ecall_ipi_handler,
  36. };