* MIDI driver API extension for MIDI drivers which already supply exact time stamps for events (i.e. for offline rendering based MIDI drivers)