mach_page_add
mach_page_add(&PAGE_FREELISTS(mnode, 0, bin, mtype), pp);
mach_page_add(&PAGE_FREELISTS(mnode, 0, bin,
extern void mach_page_add(page_t **, page_t *);