Files
2026-08-07 19:04:38 +08:00

22 lines
207 B
C

#include "sys.h"
void WFI_SET(void)
{
__WFI();
}
void INTX_DISABLE(void)
{
__disable_irq();
}
void INTX_ENABLE(void)
{
__enable_irq();
}
void MSR_MSP(u32 address)
{
__set_MSP(address);
}