overlay_mux_remove_dev
overlay_mux_remove_dev(odd->odd_mux, odd);
extern void overlay_mux_remove_dev(overlay_mux_t *, overlay_dev_t *);