LPC32XX_TSC_STAT
!(tsc_readl(tsc, LPC32XX_TSC_STAT) &
while (!(tsc_readl(tsc, LPC32XX_TSC_STAT) &
tmp = tsc_readl(tsc, LPC32XX_TSC_STAT);