Diff: handler.cpp

Revision:

1:fbb938b95cef

diff -r f8cf4fdf6ab4 -r fbb938b95cef handler.cpp
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/handler.cpp	Tue Dec 27 16:55:24 2011 +0000
@@ -0,0 +1,143 @@
+#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"