pmapboot_pagealloc
l1 = pmapboot_pagealloc();
l2 = pmapboot_pagealloc();
l3 = pmapboot_pagealloc();
pa = (paddr_t)pmapboot_pagealloc();
pd_entry_t *pmapboot_pagealloc(void);