Searched refs:SelectCpuForDebugging (Results 1 – 3 of 3) sorted by relevance
28 manager.SelectCpuForDebugging(manager.ManagedCpus[cpuId]); in Execute()
117 commandsManager.SelectCpuForDebugging(cpuSupportingGdb); in OnHalted()139 commandsManager.SelectCpuForDebugging(cpuSupportingGdb); in OnHalted()151 commandsManager.SelectCpuForDebugging(cpuSupportingGdb); in OnHalted()
63 public void SelectCpuForDebugging(ICpuSupportingGdb cpu) in SelectCpuForDebugging() method in Antmicro.Renode.Utilities.GDB.CommandsManager