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;