at91pmc_peripheral_clock
void at91pmc_peripheral_clock(int pid, int enable);
at91pmc_peripheral_clock(pid, enable);