LPC18XX_CREG_CREG0_RESET32KHZ
LPC18XX_CREG_CREG0_RESET32KHZ, 0);
!(reg & LPC18XX_CREG_CREG0_RESET32KHZ);