decimal_msecs     110 arch/x86/kernel/nmi.c 	int remainder_ns, decimal_msecs;
decimal_msecs     118 arch/x86/kernel/nmi.c 	decimal_msecs = remainder_ns / 1000;
decimal_msecs     122 arch/x86/kernel/nmi.c 		action->handler, whole_msecs, decimal_msecs);