tree aff2990caefc50b1bf82e3a01f47fea04f3bb95c
parent ad336af23b0fcf8edefc2b8163291ee715475b08
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1617798468 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1617952546 +0100

[alert,lint] Add explicit cast for comparison in ping timer

This cast is safe because IdDw is $clog2(NAlerts + N_ESC_SEV) and
N_ESC_SEV (the number of escalation severities, defined in the hjson)
is positive.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>