Searched refs:decimal_msecs (Results 1 – 1 of 1) sorted by relevance
103 int remainder_ns, decimal_msecs; in nmi_max_handler() local107 decimal_msecs = remainder_ns / 1000; in nmi_max_handler()111 a->handler, whole_msecs, decimal_msecs); in nmi_max_handler()