static cycle_t s5p4418_cs_read(struct clocksource_t * cs) { u32_t val = s5p4418_timer_read(CS_TIMER_CHANNEL); return (cycle_t)(~val); }
static u64_t cs_read(struct clocksource_t * cs) { struct clocksource_pdata_t * pdat = (struct clocksource_pdata_t *)cs->priv; return (u64_t)(0xffffffff - s5p4418_timer_read(pdat->virt, CS_TIMER_CHANNEL)); }