Looks good.
Reviewed-By: Artyom Tarasenko
On Fri, Nov 13, 2015 at 6:54 PM, Mark Cave-Ayland
wrote:
> Whilst trying to boot FreeBSD SPARC64, it became apparent that the existing
> timer code doesn't behave correctly with respect to the NPT and INT_DIS
> bits. This patchset corrects this behavio
Whilst trying to boot FreeBSD SPARC64, it became apparent that the existing
timer code doesn't behave correctly with respect to the NPT and INT_DIS
bits. This patchset corrects this behaviour and allows FreeBSD SPARC64 boot
to progress further.
Many thanks to Marius Strobl for pointing me in
the
