diff options
| author | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-23 15:16:14 -0400 |
|---|---|---|
| committer | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-23 15:16:14 -0400 |
| commit | 4e6e2ced7f047a9a0439eb6d001b1a77daadfdff (patch) | |
| tree | e9de52504f67fa819b7d1d9ca89b9de05e73e1e1 /kern/usermem.c | |
| parent | f5df2e1d666a943e17261d089456c9483bc9e998 (diff) | |
pts
Diffstat (limited to 'kern/usermem.c')
| -rw-r--r-- | kern/usermem.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/usermem.c b/kern/usermem.c index 2d7c7b6..5e6b1e3 100644 --- a/kern/usermem.c +++ b/kern/usermem.c @@ -13,7 +13,7 @@ #include <x86/asm.h> #include <x86/seg.h> -#include <console.h> +#include <pts.h> #include <mm.h> #include <paging.h> #include <sched.h> |