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