2019-08-25 06:46:40 +02:00
|
|
|
#ifndef _ULTRA64_OS_INTERNAL_H_
|
|
|
|
#define _ULTRA64_OS_INTERNAL_H_
|
2022-03-13 09:17:10 +01:00
|
|
|
#include "PR/os_message.h"
|
2019-08-25 06:46:40 +02:00
|
|
|
|
|
|
|
/* Internal functions used by the operating system */
|
|
|
|
/* Do not include this header in application code */
|
|
|
|
|
|
|
|
/* Variables */
|
|
|
|
|
|
|
|
//extern u64 osClockRate;
|
|
|
|
|
|
|
|
/* Functions */
|
|
|
|
|
|
|
|
/*u32 __osProbeTLB(void *);
|
|
|
|
u32 __osDisableInt(void);
|
|
|
|
void __osRestoreInt(u32);*/
|
|
|
|
OSThread *__osGetCurrFaultedThread(void);
|
|
|
|
|
|
|
|
#endif
|