46d45
< #include "config/full_system.hh"
58d56
< #if FULL_SYSTEM
60,61d57
< #endif
< return vaddr;
67d62
< #if FULL_SYSTEM
78,79d72
< #endif
< return vaddr;