Make sure we flush discarded pages even if the number of hash buckets doesn't
authorkettenis <kettenis@openbsd.org>
Wed, 30 Apr 2014 19:25:14 +0000 (19:25 +0000)
committerkettenis <kettenis@openbsd.org>
Wed, 30 Apr 2014 19:25:14 +0000 (19:25 +0000)
commit4f7816f65bf3006b3134c1b37a404c8d68160916
tree15129ed2423a37c1e5d69db9d608f152ff34485d
parentaa15afb08520fafc1f58daaa7d9e2cf00896c2e7
Make sure we flush discarded pages even if the number of hash buckets doesn't
change.  From Pedro Martelletto via bitrig.

ok beck@, krw@
sys/uvm/uvm_aobj.c