os_kernel_lab/labcodes/lab7/user/pgdir.c

#include <stdio.h>
#include <ulib.h>

int
main(void) {
    cprintf("I am %d, print pgdir.\n", getpid());
    print_pgdir();
    cprintf("pgdir pass.\n");
    return 0;
}