Searched defs:div64 (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/64/mode/
H A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) function
/seL4-test-master/kernel/include/32/mode/
H A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) function

Completed in 25 milliseconds