Searched refs:div64 (Results 1 - 9 of 9) 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) function
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dtimer.h30 return div64(UINT64_MAX, x86KStscMhz);
54 return div64(ticks, x86KStscMhz);
65 apic_write_reg(APIC_TIMER_COUNT, div64(deadline, x86KSapicRatio));
/seL4-camkes-master/kernel/include/32/mode/
H A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) function
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/
H A Dwrapper.h14 #include <asm/div64.h>
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/plat/linux/
H A Dadt.h19 #include <asm/div64.h>
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dtimer.h45 return div64(us * TIMER_CLOCK_KHZ, KHZ_IN_MHZ);
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dtimer.h32 return div64(ticks, TICKS_IN_US);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Dadt.h19 # include <asm/div64.h>
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dapic.c62 x86KSapicRatio = div64((uint64_t)x86KStscMhz * 1000llu, apic_khz);

Completed in 163 milliseconds