5#include <sys/kconfig.h>
6#include <sys/kassert.h>
10#include <machine/amd64.h>
11#include <machine/amd64op.h>
12#include <machine/pmap.h>
13#include <machine/mp.h>
15#define MAX_XMEM_REGIONS 1024
33 kprintf(
"Initializing XMEM ... ");
122 kprintf(
"Region Nr: %16s %16s\n",
"Base",
"Length");
126 kprintf(
"Region %2d: %016llx %016llx\n", r,
int kprintf(const char *fmt,...)
#define REGISTER_DBGCMD(_NAME, _DESC, _FUNC)
void * PAlloc_AllocPage()
bool PMap_SystemMap(uint64_t phys, uint64_t virt, uint64_t pages, uint64_t flags)
void PMap_SystemLookup(uint64_t va, PageEntry **entry, int size)
uintptr_t XMem_GetLength(XMem *xmem)
XMem regions[MAX_XMEM_REGIONS]
static void Debug_XMemStats(int argc, const char *argv[])
bool XMem_Allocate(XMem *xmem, uintptr_t length)
uintptr_t XMem_GetBase(XMem *xmem)
void XMem_Destroy(XMem *xmem)