254,259d253
< #if FULL_SYSTEM
< int readIntrFlag() { return intrflag; }
< /** Sets an interrupt flag. */
< void setIntrFlag(int val) { intrflag = val; }
< #endif
<