at91rm9200bus_peripheral_name
at91rm9200bus_peripheral_name,
const char *at91rm9200bus_peripheral_name(int pid);