Searched refs:dispatcherRestartRequested (Results 1 – 1 of 1) sorted by relevance
535 if(dispatcherRestartRequested) in CpuThreadBody()537 dispatcherRestartRequested = false; in CpuThreadBody()810 dispatcherRestartRequested = true; in StartCPUThreadInner()870 protected bool dispatcherRestartRequested; field in Antmicro.Renode.Peripherals.CPU.BaseCPU
