overflow (reference) in projects: seL4-master

Searched refs:overflow (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/drivers/timer/
A D	omap3430.h	`53 bool_t overflow = !!(timer->tisr & TISR_OVF_FLAG); in getCurrentTime() local 54 return (((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr; in getCurrentTime()`
A D	am335x.h	`46 bool_t overflow = !!(timer->tisr & TISR_OVF_FLAG); in getCurrentTime() local 47 return ((((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr); in getCurrentTime()`
/seL4-master/src/plat/apq8064/
A D	overlay-apq8064.dts	`19 /* skip one page to avoid overflow */`

Completed in 9 milliseconds