sfmmu_pageunload
cpuset_t sfmmu_pageunload(page_t *, struct sf_hment *, int);
tset = sfmmu_pageunload(pp, sfhme, cons);
tset = sfmmu_pageunload(rootpp, sfhme, sz);
(void) sfmmu_pageunload(pp, sfhmep, TTE8K);
extern cpuset_t sfmmu_pageunload(page_t *, struct sf_hment *, int);
(void) sfmmu_pageunload(pp, sfhmep, TTE8K);