41,43d40
< #include "config/full_system.hh"
<
< #if FULL_SYSTEM //XXX No AlphaSystem in SE mode.
45d41
< #endif
70d65
< #if FULL_SYSTEM //XXX No system pointer in SE mode.
72d66
< #endif
97d90
< #if FULL_SYSTEM //XXX No system pointer in SE mode.
108d100
< #endif