Remove duplicate map_fmap_empty of fmap_empty, and rename map_fmap_empty_inv into fmap_empty_inv for consistency's sake.
map_fmap_empty
fmap_empty
map_fmap_empty_inv
fmap_empty_inv