diff options
| author | Andrew Waterman <waterman@eecs.berkeley.edu> | 2013-11-25 02:02:42 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@eecs.berkeley.edu> | 2013-11-25 02:03:48 -0800 |
| commit | f62e692e72d1626977be0e92f766bdeed305d903 (patch) | |
| tree | 0823636782afa9a01505cb12a1f1c5c2909fcbf6 /pk/file.c | |
| parent | a8889d65d249a71f009433766a1e9b1405945708 (diff) | |
| download | pk-f62e692e72d1626977be0e92f766bdeed305d903.zip pk-f62e692e72d1626977be0e92f766bdeed305d903.tar.gz pk-f62e692e72d1626977be0e92f766bdeed305d903.tar.bz2 | |
Update to new privileged ISA
Diffstat (limited to 'pk/file.c')
| -rw-r--r-- | pk/file.c | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -5,7 +5,6 @@ #include "file.h" #include "pk.h" #include "frontend.h" -#include "pcr.h" #include "vm.h" #define MAX_FDS 32 |