1 #include <inttypes.h>
2 #include "plat-midi.h"
3 
midi_init()4 void midi_init()
5 {
6 }
7 
midi_close()8 void midi_close()
9 {
10 }
11 
midi_write(uint8_t val)12 void midi_write(uint8_t val)
13 {
14 }
15 
midi_get_num_devs()16 int midi_get_num_devs()
17 {
18         return 0;
19 }
20 
midi_get_dev_name(int num,char * s)21 void midi_get_dev_name(int num, char *s)
22 {
23 }
24