/* ===================================================================*/ void Cpu_OnSupervisorCall(void) { vPortSVCHandler(); }
void SVC_Handler(void) { vPortSVCHandler(); }
void sv_call_handler(void) { vPortSVCHandler(); }