bzero = 0x800020F0; __osSetSR = 0x80002190; __osGetSR = 0x800021A0; __osSetFpcCsr = 0x800021B0; osWritebackDCache = 0x80002B70; osInvalICache = 0x80002BF0; osMapTLBRdb = 0x80002C70; __osProbeTLB = 0x80003BD0; __osDisableInt = 0x80003FC0; __osRestoreInt = 0x80003FE0;