Only flush the virtual page if it was actually mapped. Otherwise
authorpatrick <patrick@openbsd.org>
Fri, 29 Jul 2016 06:46:15 +0000 (06:46 +0000)
committerpatrick <patrick@openbsd.org>
Fri, 29 Jul 2016 06:46:15 +0000 (06:46 +0000)
commit6b60fc318d17cdf095877da0b91fc6f2eb53c369
tree8ff9320f51efdaf0713dc1c305c866484d24a590
parentddc4b9731eabf3b8744985ea4539aeb62cb6c70c
Only flush the virtual page if it was actually mapped.  Otherwise
we will run into translation faults.

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