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

/seL4-camkes-master/kernel/include/32/mode/
H A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) argument
18 if (unlikely(denominator > numerator)) {
22 assert(numerator > 0);
25 /* align denominator to numerator */
26 uint64_t c = ((uint64_t) 32u + clzl(denominator)) - clzll(numerator);
31 if (numerator >= long_denom) {
32 numerator -= long_denom;
/seL4-camkes-master/kernel/include/64/mode/
H A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) argument
15 return numerator / denominator;

Completed in 27 milliseconds