Symbol: to_sd_mux_hw_data