On armv7 we put the vector page up high and never have to bother switching it.
authorkettenis <kettenis@openbsd.org>
Wed, 10 Aug 2016 06:46:36 +0000 (06:46 +0000)
committerkettenis <kettenis@openbsd.org>
Wed, 10 Aug 2016 06:46:36 +0000 (06:46 +0000)
commit237556f18ab36d00259d04acca0b2684b5b0ba04
tree40e9869d8e152917f7af2124e2763ca30cfe754e
parent7310f5ffd2bd10e53f6320b063e2fe1b96b1e682
On armv7 we put the vector page up high and never have to bother switching it.
Remove the code to do so from cpuswitch().

ok guenther@
sys/arch/arm/arm/cpuswitch7.S