sfmmu_destroy_scd
static void sfmmu_destroy_scd(sf_srd_t *, sf_scd_t *, sf_region_map_t *);
sfmmu_destroy_scd((srdp), (scdp), &_scd_rmap); \