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