Symbol: lpc32xx_setup_tsc