diff options
| author | Konstantin Belousov <kib@FreeBSD.org> | 2017-10-21 17:28:12 +0000 |
|---|---|---|
| committer | Konstantin Belousov <kib@FreeBSD.org> | 2017-10-21 17:28:12 +0000 |
| commit | 422fe502b3ca589d522a791ab29bb07c9e277b77 (patch) | |
| tree | d5daaa5932e6a4ab74233be07e311e0fd3e1c3af /lib/Makefile | |
| parent | 09fdf1f84c43437d0e680562b5f5c6ab3ee7174c (diff) | |
| download | src-422fe502b3ca589d522a791ab29bb07c9e277b77.tar.gz src-422fe502b3ca589d522a791ab29bb07c9e277b77.zip | |
Check that the page which is freed as zeroed, indeed has all-zero content.
This catches some rare mysterious failures at the source. The check
is only performed on architectures which implement direct map, and
only enabled with option DIAGNOSTIC, similar to other costly
consistency checks.
Reviewed by: alc, markj
Sponsored by: The FreeBSD Foundation
MFC after: 2 weeks
Notes
Notes:
svn path=/head/; revision=324824
Diffstat (limited to 'lib/Makefile')
0 files changed, 0 insertions, 0 deletions