mux_dev
mux_dev mux;
mux_dev * plex = (mux_dev *)cookie;
if (((mux_dev *)cookie)->open_count != 0) {
mux_dev * mux,
mux_dev * mux,
mux_dev * plex = (mux_dev *)cookie;