#include "errno.h"
// --- Types ---
+typedef int tPID;
+typedef int tTID;
typedef Uint tUID;
typedef Uint tGID;
typedef Sint64 tTimestamp;
*/
extern int MM_Map(tVAddr VAddr, tPAddr PAddr);
/**
- * \brief Get the physical address of \a VAddr
- * \param VAddr Address of the page to get the physical address of
- * \return Physical page mapped at \a VAddr
+ * \brief Get the physical address of \a Addr
+ * \param Addr Address of the page to get the physical address of
+ * \return Physical page mapped at \a Addr
*/
-extern tPAddr MM_GetPhysAddr(tVAddr VAddr);
+extern tPAddr MM_GetPhysAddr(tVAddr Addr);
/**
* \brief Checks is a memory range is user accessable
* \param VAddr Base address to check
extern int strpos(const char *Str, char Ch);
extern int strpos8(const char *str, Uint32 search);
extern void itoa(char *buf, Uint num, int base, int minLength, char pad);
+extern int atoi(const char *string);
extern int ReadUTF8(Uint8 *str, Uint32 *Val);
extern int WriteUTF8(Uint8 *str, Uint32 Val);
extern int ModUtil_SetIdent(char *Dest, char *Value);
extern void Threads_Exit();
extern void Threads_Yield();
extern void Threads_Sleep();
+extern tPID Threads_GetPID();
+extern tTID Threads_GetTID();
extern tUID Threads_GetUID();
extern tGID Threads_GetGID();
extern int SpawnTask(tThreadFunction Function, void *Arg);