1 /* mbed Microcontroller Library - RealMonitor
2 * Copyright (c) 2006-2009 ARM Limited. All rights reserved.
4 #include "vector_defns.h"
6 extern void __mbed_dcc_irq(void);
8 /* Function: __mbed_init_realmonitor
9 * Setup the RealMonitor DCC Interrupt Handlers
11 void __mbed_init_realmonitor(void) __attribute__((weak));
12 void __mbed_init_realmonitor() {
13 // Disable all interrupts
14 VICIntEnClr = 0xffffffff;
16 // Set DCC interrupt vector addresses
17 VICVectAddr2 = (unsigned)&__mbed_dcc_irq;
18 VICVectAddr3 = (unsigned)&__mbed_dcc_irq;
20 // Initialise RealMonitor
21 ((void (*)(void))rm_init_entry)();