uint64_t tag
Should always be set to the value OS_CONTEXT_TAG.
void OSDumpContext(OSContext *context)
void OSInitContext(OSContext *context, void *entry, void *stack)
void OSLoadFPUContext(OSContext *context)
void OSSetCurrentContext(OSContext *context)
void OSSaveFPUContext(OSContext *context)
void OSLoadContext(OSContext *context)
void * OSSwitchStack(void *stack)
OSContext * OSGetCurrentContext()
uint32_t OSSaveContext(OSContext *context)