Add MULTIPROCESSOR support to the interrupt controller drivers. This makes
authorkettenis <kettenis@openbsd.org>
Wed, 31 Jan 2018 10:52:12 +0000 (10:52 +0000)
committerkettenis <kettenis@openbsd.org>
Wed, 31 Jan 2018 10:52:12 +0000 (10:52 +0000)
commitd7e3db9cb74dfa9506722c07883ed0b6b05b346d
tree9005abd1f4a77f354df5348f36ad4d60888b0e30
parente394af1376539b3f823e1f9b613cfa4bbcf24457
Add MULTIPROCESSOR support to the interrupt controller drivers.  This makes
the secondary CPUs receive clock interrupts.  Based on diffs from drahn@.

ok patrick@
sys/arch/arm64/arm64/cpu.c
sys/arch/arm64/arm64/intr.c
sys/arch/arm64/dev/agintc.c
sys/arch/arm64/dev/agtimer.c
sys/arch/arm64/dev/ampintc.c
sys/arch/arm64/dev/bcm2836_intr.c
sys/arch/arm64/include/intr.h