Symbol: SBI_EXT_MPXY_GET_CHANNEL_IDS
drivers/mailbox/riscv-sbi-mpxy-mbox.c
143
sret = sbi_ecall(SBI_EXT_MPXY, SBI_EXT_MPXY_GET_CHANNEL_IDS,
drivers/mailbox/riscv-sbi-mpxy-mbox.c
172
sret = sbi_ecall(SBI_EXT_MPXY, SBI_EXT_MPXY_GET_CHANNEL_IDS,