This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / lib / reciprocal_div.c
blob6a3bd48fa2a06e500d6695ac936a6ff4143775e4
1 #include <asm/div64.h>
2 #include <linux/reciprocal_div.h>
4 u32 reciprocal_value(u32 k)
6 u64 val = (1LL << 32) + (k - 1);
7 do_div(val, k);
8 return (u32)val;