diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1999-07-03 23:49:31 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1999-07-03 23:49:31 +0000 |
| commit | aaef9904fb0393a391c683a8965e633d96bd63d8 (patch) | |
| tree | 98d846bb978e033dd3be0aed5c39d60204cbc007 /ufs/Makefile | |
| parent | fad8738511040dfb0760006f087247513c13ec6b (diff) | |
1999-07-03 Thomas Bushnell, BSG <tb@mit.edu>
* init.c (reboot_system): Use munmap instead of vm_deallocate.
(frob_kernel_process): Likewise.
(kill_everyone): Likewise.
Diffstat (limited to 'ufs/Makefile')
0 files changed, 0 insertions, 0 deletions