#define NULL ((void*)0)
#define PACKED __attribute__ ((packed))
+#include <stdint.h>
#include <arch.h>
#include <stdarg.h>
#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 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);