LPC32XX_CLK_USB_PLL
clk_set_rate(clk[LPC32XX_CLK_USB_PLL], 48000000);
LPC32XX_CLK_DEFINE(USB, "usb", 0x0, LPC32XX_CLK_USB_PLL),