Use the newly introduced SimulatorController::getCPUCount() instead of BX_SMP_PROCESSORS to figure out the number of CPUs the back end provides. Change-Id: I6d6521ae508154366ab5d0c23ddcb6f2de99aa04
Use the newly introduced SimulatorController::getCPUCount() instead of BX_SMP_PROCESSORS to figure out the number of CPUs the back end provides. Change-Id: I6d6521ae508154366ab5d0c23ddcb6f2de99aa04