137a138,144
> template <class XC>
> inline void
> globalClearExclusive(XC *xc)
> {
> xc->getCpuPtr()->wakeup(xc->threadId());
> }
>