File content as of revision 3:5cf31386b95d:

#include "mbed.h"

void jump (int vect);

extern "C" {

void SysTick_Handler() {
    jump(15);
}

void WDT_IRQHandler () {
    jump(16);
}

void TIMER0_IRQHandler() {
    jump(17);
}

void TIMER1_IRQHandler() {
    jump(18);
}

void TIMER2_IRQHandler() {
    jump(19);
}

void TIMER3_IRQHandler() {
    jump(20);
}

void UART0_IRQHandler() {
    jump(21);
}

void UART1_IRQHandler() {
    jump(22);
}

void UART2_IRQHandler() {
    jump(23);
}

void UART3_IRQHandler() {
    jump(24);
}

void PWM1_IRQHandler() {
    jump(25);
}

void I2C0_IRQHandler() {
    jump(26);
}

void I2C1_IRQHandler() {
    jump(27);
}

void I2C2_IRQHandler() {
    jump(28);
}

void SPI_IRQHandler() {
    jump(29);
}

void SSP0_IRQHandler() {
    jump(30);
}

void SSP1_IRQHandler() {
    jump(31);
}

void PLL0_IRQHandler() {
    jump(32);
}

void RTC_IRQHandler() {
    jump(33);
}

void EINT0_IRQHandler() {
    jump(34);
}

void EINT1_IRQHandler() {
    jump(35);
}

void EINT2_IRQHandler() {
    jump(36);
}

void EINT3_IRQHandler() {
    jump(37);
}

void ADC_IRQHandler() {
    jump(38);
}

void BOD_IRQHandler() {
    jump(39);
}

void USB_IRQHandler() {
    jump(40);
}

void CAN_IRQHandler() {
    jump(41);
}

void DMA_IRQHandler() {
    jump(42);
}

void I2S_IRQHandler() {
    jump(43);
}

void ENET_IRQHandler() {
    jump(44);
}

void RIT_IRQHandler() {
    jump(45);
}

void MCPWM_IRQHandler() {
    jump(46);
}

void QEI_IRQHandler() {
    jump(47);
}

void PLL1_IRQHandler() {
    jump(48);
}

} // extern "C"