#define NULL ((void*)0)
#define PACKED __attribute__ ((packed))
+#include <stdint.h>
#include <arch.h>
#include <stdarg.h>
#include "errno.h"
*/
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
* \name Strings
* \{
*/
+extern int vsnprintf(char *__s, size_t __maxlen, const char *__format, va_list args);
extern int sprintf(char *__s, const char *__format, ...);
extern Uint strlen(const char *Str);
extern char *strcpy(char *__dest, const char *__src);