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

/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;
/seL4-camkes-master/kernel/include/32/mode/
H A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) argument
16 uint64_t long_denom = (uint64_t) denominator;
18 if (unlikely(denominator > numerator)) {
23 assert(denominator > 0);
25 /* align denominator to numerator */
26 uint64_t c = ((uint64_t) 32u + clzl(denominator)) - clzll(numerator);

Completed in 60 milliseconds