Searched defs:timeHi (Results 1 – 1 of 1) sorted by relevance
1339 uint32_t timeHi = uint32_t(counter >> 32); in __kmp_tpause() local1368 uint32_t timeHi = uint32_t(counter >> 32); in __kmp_umwait() local