diff options
| author | joerg <joerg@FreeBSD.org> | 1997-09-13 16:12:15 +0000 |
|---|---|---|
| committer | joerg <joerg@FreeBSD.org> | 1997-09-13 16:12:15 +0000 |
| commit | 5167b81f672ae518842429441f38bf4c0ec9ac75 (patch) | |
| tree | 0fba6b72566fd9404d52c8c4c6af31d58d010f58 /sys/kern/kern_exit.c | |
| parent | fde8a8ec465bddd8378394c44e3b889d741f5009 (diff) | |
| download | FreeBSD-src-5167b81f672ae518842429441f38bf4c0ec9ac75.zip FreeBSD-src-5167b81f672ae518842429441f38bf4c0ec9ac75.tar.gz | |
Revert the logic behind my last change, and use a function called
`is_physical_memory()' now for the decision whether to dump some
region of memory or not.
Suggested by: davidg
Diffstat (limited to 'sys/kern/kern_exit.c')
0 files changed, 0 insertions, 0 deletions
