Haren Myneni writes: > -static void cacheflush(void); > +void cacheflush(void); This isn't right; the cacheflush() from xmon is totally inappropriate for implementing sched_cacheflush(). Just take the cacheflush call out of sched_cacheflush for now. Paul.