/* libultra OS symbols */

/* boot and osException symbols */
/* most of these should be in hardware.h */

/* exceptions */

EXCEPTION_TLB_MISS = 0x80000000;

/* SP */

SP_DMEM       = 0xA4000000;
SP_DMEM_UNK0  = 0xA40004C0;
SP_DMEM_UNK1  = 0xA4000774;
SP_IMEM       = 0xA4001000;

/* Unknown */

D_B0000008 = 0xB0000008;
D_B0000010 = 0xB0000010;
D_B0000014 = 0xB0000014;
D_C0000000 = 0xC0000000;
D_C0000008 = 0xC0000008;
D_C000000C = 0xC000000C;

D_000FFF00 = 0x000FFF00;

D_03004000 = 0x03004000;
D_03004800 = 0x03004800;
D_03005000 = 0x03005000;
D_03005800 = 0x03005800;
D_03006000 = 0x03006000;
D_03006800 = 0x03006800;
D_03007000 = 0x03007000;
D_03007800 = 0x03007800;
D_03008000 = 0x03008000;
D_03008800 = 0x03008800;

D_05FF8DB8 = 0x05FF8DB8;

D_0B002A00 = 0x0B002A00;

D_A5000508 = 0xA5000508;
D_A5000510 = 0xA5000510;
D_E6FFFFFC = 0xE6FFFFFC;
D_FA00000C = 0xFA00000C;
D_FA000010 = 0xFA000010;
D_FA000018 = 0xFA000018;