#include <inttypes.h>
#include "plat-midi.h"

void midi_init()
{
}

void midi_close()
{
}

void midi_write(uint8_t val)
{
}

int midi_get_num_devs()
{
        return 0;
}

void midi_get_dev_name(int num, char *s)
{
}
