49d48
< #include "config/full_system.hh"
119,123d117
< #if FULL_SYSTEM
< Tick doMmuRegRead(ThreadContext *tc, Packet *pkt);
< Tick doMmuRegWrite(ThreadContext *tc, Packet *pkt);
< #endif
<