|
void | __RAS_OSDisableInterrupts_begin () |
|
void | __RAS_OSDisableInterrupts_end () |
|
void | DBPrintf (char *,...) |
|
volatile OSContext *__OSCurrentContext | AT_ADDRESS (OS_BASE_CACHED|0x00D4) |
|
static asm void | __OSLoadFPUContext (register u32 dummy, register OSContext *fpucontext) |
|
static asm void | __OSSaveFPUContext (register u32 dummy1, register u32 dummy2, register OSContext *fpucontext) |
|
asm void | OSLoadFPUContext (register OSContext *fpucontext) |
|
asm void | OSSaveFPUContext (register OSContext *fpucontext) |
|
asm void | OSSetCurrentContext (register OSContext *context) |
|
OSContext * | OSGetCurrentContext (void) |
|
asm u32 | OSSaveContext (register OSContext *context) |
|
asm void | OSLoadContext (register OSContext *context) |
|
asm u32 | OSGetStackPointer () |
|
asm u32 | OSSwitchStack (register u32 newsp) |
|
asm int | OSSwitchFiber (register u32 pc, register u32 newsp) |
|
void | OSClearContext (register OSContext *context) |
|
asm void | OSInitContext (register OSContext *context, register u32 pc, register u32 newsp) |
|
void | OSDumpContext (OSContext *context) |
|
static asm void | OSSwitchFPUContext (register __OSException exception, register OSContext *context) |
|
void | __OSContextInit (void) |
|
asm void | OSFillFPUContext (register OSContext *context) |
|