#include "FreeRTOS.h"
#include "task.h"

extern void vPortSVCHandler( void );
extern void xPortPendSVHandler( void );
extern void xPortSysTickHandler( void );

void isr_svcall( void ) { vPortSVCHandler(); }
void isr_pendsv( void ) { xPortPendSVHandler(); }
void isr_systick( void ) { xPortSysTickHandler(); }