insanely-high interrupt rates

[Andrew Gierth]

Per my earlier analysis, and the discussion on IRC, I'm now running my
RPI2B with the attached patch (against 12-stable). So far, I'm not
seeing any issues.

I don't think this patch is really a complete fix (in particular, on
arm64 I would expect the opposite problem to exist, with spurious
physical timer interrupts instead). I'm only running it to confirm my
analysis of the problem and to get a working system. It should do fine
on 32-bit arm though.

-- 
Andrew.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: armtimer.diff
Type: text/x-patch
Size: 484 bytes
Desc: patch to arm generic_timer.c
URL: <http://lists.freebsd.org/pipermail/freebsd-arm/attachments/20190403/574fddc5/attachment.bin>