K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2017-02-26T19:54:02.586749Z
K 7
svn:log
V 416
Refine the fix from r312954.  Specifically, add a new PDE-only flag,
PG_PROMOTED, that indicates whether lingering 4KB page mappings might
need to be flushed on a PDE change that restricts or destroys a 2MB
page mapping.  This flag allows the pmap to avoid range invalidations
that are both unnecessary and costly.

Reviewed by:	kib, markj
MFC after:	6 weeks
Differential Revision:	https://reviews.freebsd.org/D9665

END