int mp_dvdtimetomsec(dvd_time_t *dt);