There is a bug in the CKRM CPU scheduler. This has been reported to the
[linux-2.6.git] / include / asm-ppc / div64.h
1 #include <asm-generic/div64.h>