[PATCH v2 16/44] bsps/clock: Use _SMP_Get_processor_maximum()

[Sebastian Huber]

Use a specific test to enable the fast idle mode instead of using the
rtems_configuration_is_smp_enabled() workaround.

Update #3876.
---
 bsps/shared/dev/clock/clockimpl.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bsps/shared/dev/clock/clockimpl.h b/bsps/shared/dev/clock/clockimpl.h
index 163b498a18..3c08c80859 100644
--- a/bsps/shared/dev/clock/clockimpl.h
+++ b/bsps/shared/dev/clock/clockimpl.h
@@ -150,7 +150,7 @@ rtems_isr Clock_isr(
 
       Clock_driver_timecounter_tick();
 
-      if (!rtems_configuration_is_smp_enabled()) {
+      if (_SMP_Get_processor_maximum() == 1) {
         while (
           _Thread_Heir == _Thread_Executing && _Thread_Executing->is_idle
         ) {
-- 
2.16.4