#pragma once

#include "intc.h"

#ifndef RT_INTC_SW_IRQ
#define RT_INTC_SW_IRQ 127
#endif

#ifndef __ASSEMBLER__

static inline void vic_syscall_pend(void)
{
    intc_set(RT_INTC_SW_IRQ);
}

#endif // !defined(__ASSEMBLER__)