SEGMF_MAP_MFN
ASSERT(map->t_type == SEGMF_MAP_MFN);
data->map[base + i].t_type = SEGMF_MAP_MFN;
ASSERT(map[i].t_type != SEGMF_MAP_MFN);