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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dprime.c132 #define u64_mulmod(a,b,c) ((unsigned int)( ((UINT64)a*(UINT64)b)%(UINT64)c )); macro
134 #define u64_mulmod(a,b,c) u64_mod( u64_mul((a),(b)), (c) ); macro

Completed in 22 milliseconds