diff options
| author | sotech117 <michael_foiani@brown.edu> | 2024-05-15 01:15:00 +0000 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2024-05-15 01:15:00 +0000 |
| commit | f077699e3c77321235c007ec7e47e066ed55ca68 (patch) | |
| tree | 48a3322ed6d363dbd2155d8e19470797301a8d77 /kernel/proc | |
| parent | 53b54f664ed2b4630c23cacc9e216a6a5935b57f (diff) | |
s5 fixes!
Diffstat (limited to 'kernel/proc')
| -rw-r--r-- | kernel/proc/proc.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/proc/proc.c b/kernel/proc/proc.c index 2ade163..cfaa2b3 100644 --- a/kernel/proc/proc.c +++ b/kernel/proc/proc.c @@ -296,7 +296,10 @@ void proc_cleanup(long status) do_close(fd); } vput(&curproc->p_cwd); + +#ifdef __VM__ vmmap_destroy(&curproc->p_vmmap); +#endif if (curproc->p_pid == PID_INIT) { |