mpc3_get_rmu_mux_status
rmu_status = mpc3_get_rmu_mux_status(mpc, rmu_idx);
uint32_t mpc3_get_rmu_mux_status(