pxa2x0_read_ccnt
static inline uint32_t pxa2x0_read_ccnt(void);
base = pxa2x0_read_ccnt();
now = pxa2x0_read_ccnt();