26 lines
544 B
C++
26 lines
544 B
C++
#include "opensbi/extensions/ipi.h"
|
|
|
|
namespace drivers {
|
|
namespace opensbi::ipi {
|
|
|
|
namespace {
|
|
enum class ExtensionId {
|
|
IPI = 0x735049
|
|
};
|
|
|
|
enum class FunctionId {
|
|
SEND_IPI
|
|
};
|
|
}
|
|
|
|
SbiRet send_ipi(HartMask hart_mask) {
|
|
return ecall(
|
|
static_cast<sbiword_t>(ExtensionId::IPI),
|
|
static_cast<sbiword_t>(FunctionId::SEND_IPI),
|
|
hart_mask.mask,
|
|
hart_mask.base);
|
|
}
|
|
|
|
} // End namespace opensbi::ipi
|
|
} // End namespace drivers
|
|
|