diff options
author | Alan Cox <alc@FreeBSD.org> | 2017-02-26 19:54:02 +0000 |
---|---|---|
committer | Alan Cox <alc@FreeBSD.org> | 2017-02-26 19:54:02 +0000 |
commit | 03149668584885b0017a8f32e5c1eee5fa899392 (patch) | |
tree | 997ce2c3838193d92ceedde1a2df00aea59de8df /usr.bin/head | |
parent | e0a254f6dfad4586cd80b4873904e6ef8720e180 (diff) | |
download | src-03149668584885b0017a8f32e5c1eee5fa899392.tar.gz src-03149668584885b0017a8f32e5c1eee5fa899392.zip |
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
Notes
Notes:
svn path=/head/; revision=314310
Diffstat (limited to 'usr.bin/head')
0 files changed, 0 insertions, 0 deletions