From 98eda3c24cd79dd291d5a5c19654eea6bf44d2d0 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 27 Aug 2016 18:53:26 +0200
Subject: [PATCH] only if more than one processor is online, IPIs will be
 triggered

---
 hermit/arch/x86/kernel/apic.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c
index c6aa5177c..dc7a289e5 100644
--- a/hermit/arch/x86/kernel/apic.c
+++ b/hermit/arch/x86/kernel/apic.c
@@ -858,7 +858,7 @@ int ipi_tlb_flush(void)
 {
 	uint32_t id = CORE_ID;
 
-	if (atomic_int32_read(&cpu_online) == 1)
+	if (atomic_int32_read(&cpu_online) <= 1)
 		return 0;
 
 	if (has_x2apic()) {