pmap_physpage_alloc
if (pmap_physpage_alloc(PGU_PVENT, &pg))
} else if (pmap_physpage_alloc(PGU_NORMAL,
} else if (pmap_physpage_alloc(PGU_NORMAL, &ptaddr) == FALSE)
if (pmap_physpage_alloc(PGU_L1PT, &ptpa) == FALSE)
if (pmap_physpage_alloc(usage, &ptpa) == FALSE)
boolean_t pmap_physpage_alloc(int, paddr_t *);