Remove devmap stuff which is unused on armv7.
authorkettenis <kettenis@openbsd.org>
Sun, 31 Jul 2016 22:27:07 +0000 (22:27 +0000)
committerkettenis <kettenis@openbsd.org>
Sun, 31 Jul 2016 22:27:07 +0000 (22:27 +0000)
commit86ee5cebf0daa2392a2c92f0af6b6665180a30be
tree520ebfbe102429aab2f8d44b150a09f631581159
parent6a24ef001d2bcf7df7463a9d17148ea80970eb35
Remove devmap stuff which is unused on armv7.

ok patrick@
sys/arch/arm/arm/pmap7.c