__pmap_pv_page_alloc
STATIC void *__pmap_pv_page_alloc(struct pool *, int);
__pmap_pv_page_alloc, __pmap_pv_page_free, 0,