See http://mixxx.org/wiki/doku.php/midi_controller_mapping_file_format for the most up-to-date information on the format of MIDI device XML files.