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