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 /libdiskfs/node-make.c | |
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 'libdiskfs/node-make.c')
0 files changed, 0 insertions, 0 deletions