Searched refs:div64 (Results 1 - 5 of 5) sorted by relevance

/seL4-mcs-10.1.1/include/64/mode/
H A Dutil.h20 div64(uint64_t numerator, uint32_t denominator) function
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Dtimer.h37 return div64(UINT64_MAX, x86KStscMhz);
66 return div64(ticks, x86KStscMhz);
78 apic_write_reg(APIC_TIMER_COUNT, div64(deadline, x86KSapicRatio));
/seL4-mcs-10.1.1/include/32/mode/
H A Dutil.h20 div64(uint64_t numerator, uint32_t denominator) function
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dtimer.h55 return div64(us * TIMER_CLOCK_KHZ, KHZ_IN_MHZ);
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dapic.c67 x86KSapicRatio = div64((uint64_t )x86KStscMhz * 1000llu, apic_khz);

Completed in 91 milliseconds