Home
last modified time | relevance | path

Searched refs:PAlloc_AddRegion (Results 1 – 4 of 4) sorted by relevance

/sys/amd64/
Dmbentry.c26 extern void PAlloc_AddRegion(uintptr_t start, uintptr_t len);
211 PAlloc_AddRegion(start + MEM_DIRECTMAP_BASE, len); in MachineBoot_AddMem()
Dmachine.c183 PAlloc_AddRegion(DMPA2VA(16*1024*1024), 16*1024*1024); in Machine_Init()
/sys/include/
Dkmem.h19 void PAlloc_AddRegion(uintptr_t start, uintptr_t len);
/sys/kern/
Dpalloc.c92 PAlloc_AddRegion(uintptr_t start, uintptr_t len) in PAlloc_AddRegion() function