Looks like patrick@ committed an older version of the diff. Fix this, and
authorkettenis <kettenis@openbsd.org>
Mon, 1 Aug 2016 21:08:20 +0000 (21:08 +0000)
committerkettenis <kettenis@openbsd.org>
Mon, 1 Aug 2016 21:08:20 +0000 (21:08 +0000)
commitbc478ab16f83e6f1516230f69f5e1dabd707a8b2
tree44cd93060fe732553214e7b47b1245c1bb9d78c1
parent0e9b6a18f3953faf2cc3f247374525aba5f1711e
Looks like patrick@ committed an older version of the diff.  Fix this, and
rename a few variables and functions to be a bit more consistent with other
armv7 code.
sys/arch/armv7/armv7/intr.c