pgtbl lab finished

kernel/defs.h

@@ -188,6 +188,9 @@ void            vmprint(pagetable_t);
 pte_t*          pgpte(pagetable_t, uint64);
 void            superfree(void *pa);
 void*           superalloc();
+int             copyin_new(pagetable_t, char *, uint64, uint64);
+int             copyinstr_new(pagetable_t, char *, uint64, uint64);
+uint64          sys_dirtypages(void);
 #endif
 
 // plic.c
@@ -204,14 +207,6 @@ void            virtio_disk_intr(void);
 // number of elements in fixed-size array
 #define NELEM(x) (sizeof(x)/sizeof((x)[0]))
 
-
-
-#ifdef LAB_PGTBL
-// vmcopyin.c
-int             copyin_new(pagetable_t, char *, uint64, uint64);
-int             copyinstr_new(pagetable_t, char *, uint64, uint64);
-#endif
-
 #ifdef LAB_LOCK
 // stats.c
 void            statsinit(void);

time.txt

@@ -0,0 +1 @@
+88888888

user/usys.pl

@@ -43,3 +43,4 @@ entry("recv");
 entry("pgpte");
 entry("kpgtbl");
 entry("pgaccess");
+entry("dirtypages");