817a818,820
> 0x09: wakeCPU({{
> PseudoInst::wakeCPU(xc->tcBase(), R16);
> }}, IsNonSpeculative, IsUnverifiable);