diff options
| author | Frans Kaashoek | 2018-10-02 08:12:01 -0400 |
|---|---|---|
| committer | Frans Kaashoek | 2018-10-02 08:12:01 -0400 |
| commit | a42b7d5dbb8b88aa1fb4dc508600a272c494e3f5 (patch) | |
| tree | 40d4b594041f258839a54c6d16eefb2b69208dd6 /exec.c | |
| parent | 155c13b7f8f8d03d4f1e9d21c72b1413be550d11 (diff) | |
Simplify freeing page table
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions