#define STDOUT 0xd0580000

#define TRIGGER_NMI 0x80
#define LOAD_NMI_ADDR 0x81
#define TRIGGER_SOFT_INT 0x84
#define TRIGGER_TIMER_INT 0x85
#define TRIGGER_EXT_INT1 0x86
#define TRIGGER_DBUS_FAULT 0x87
#define TRIGGER_IBUS_FAULT 0x88
