active_pd() should return a virtual address.
[pintos-anon] / grading / filesys / sm-full.c
2004-12-07 Ben PfaffInitial file system tests.