page_ctrs_alloc
(void) page_ctrs_alloc(page_ctrs_mem);
extern caddr_t page_ctrs_alloc(caddr_t);
alloc_base = page_ctrs_alloc(alloc_base);
extern caddr_t page_ctrs_alloc(caddr_t);
extern caddr_t page_ctrs_alloc(caddr_t);