pmap_free_page
pmap_free_page((paddr_t)(u_long)pm->pm_segs, pmap_cpus_active);
static void pmap_free_page(paddr_t, sparc64_cpuset_t);
pmap_free_page(pa, cpus_active);