GET_KPME
hat_kpm_mapout(pp, GET_KPME(smp), vaddr);
kpme = GET_KPME(smp);
(pp = GET_KPME(smp)->kpe_page) != NULL) {
ASSERT(GET_KPME(smp)->kpe_page == NULL);
kpme = GET_KPME(smp);
kpme = GET_KPME(smp);
hat_kpm_mapout(pp, GET_KPME(smp), addr);
segkpm_mapout_validkpme(GET_KPME(smp));
kpme = GET_KPME(smp);