On Sun, 22 Apr 2012 11:02:32 -0700, Ben Widawsky <ben at bwidawsk.net> wrote: > Does div_round64 work for you? I think that is the best solution. Only exists in drivers/cpuidle/governors/menu.c, and still would need a do_div to avoid the subsequent 64-bit division. The choice appears to be either perform the divide by 1000 using do_div, or note that a u32 * 128 / 1000 is also a u32 and so cast the result of DIV_ROUND_UP_ULL back to u32. -Chris -- Chris Wilson, Intel Open Source Technology Centre
