remainder_ns 110 arch/x86/kernel/nmi.c int remainder_ns, decimal_msecs; remainder_ns 117 arch/x86/kernel/nmi.c remainder_ns = do_div(whole_msecs, (1000 * 1000)); remainder_ns 118 arch/x86/kernel/nmi.c decimal_msecs = remainder_ns / 1000;