46a47,48
> #include "cpu/base.hh"
> #include "cpu/thread_context.hh"
262a265,270
> // For ARM, a spinlock would typically include a Wait
> // For Event (WFE) to conserve energy. The ARMv8
> // architecture specifies that an event is
> // automatically generated when clearing the exclusive
> // monitor to wake up the processor in WFE.
> system()->getThreadContext(i->contextId)->getCpuPtr()->wakeup();