Searched refs:upper2 (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dglobal_timer.h57 uint32_t upper, upper2, lower; local
61 upper2 = globalTimer->countUpper;
65 if (upper != upper2) {
69 return (((ticks_t) upper2 << 32llu) + (ticks_t) lower);

Completed in 21 milliseconds