tree 5d826e7ecbdf6efb11179468427ccea60e36f6c2
parent 86117903090cf50549a449a9e2ef16b1fb2cb697
author Michael Schaffner <msf@google.com> 1617761304 -0700
committer Michael Schaffner <msf@google.com> 1617830678 -0700

[rv_timer/lint] Waive a lint error that is ok

Signed-off-by: Michael Schaffner <msf@google.com>