sfmmu_unload_hmeregion
sfmmu_unload_hmeregion(srdp, rgnp);
static void sfmmu_unload_hmeregion(sf_srd_t *, sf_region_t *);