1#include "c2000BoardSupport.h"
2#include "F2837xD_device.h"
3#include "F2837xD_Examples.h"
4#include "F2837xD_GlobalPrototypes.h"
5#include "rtwtypes.h"
6#include "TwoPhaseForStuck.h"
7#include "TwoPhaseForStuck_private.h"
8
9void enableExtInterrupt (void);
10void disableWatchdog(void)
11{
12 int *WatchdogWDCR = (void *) 0x7029;
13 asm(" EALLOW ");
14 *WatchdogWDCR = 0x0068;
15 asm(" EDIS ");
16}
17
18void configureGPIOExtInterrupt (void)
19{
20}
21
22void enableExtInterrupt (void)
23{
24}
25