From fda8db089887bbeb1686f5d9849893e9bc4d5afd Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 26 Jul 2015 18:47:34 +0200
Subject: [PATCH] use APIC Id to determine if we have to send an IPI

---
 hermit/arch/x86/kernel/apic.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c
index 881f681e9..e01891269 100644
--- a/hermit/arch/x86/kernel/apic.c
+++ b/hermit/arch/x86/kernel/apic.c
@@ -617,7 +617,7 @@ static inline void set_ipi_dest(uint32_t cpu_id) {
 
 int ipi_tlb_flush(void)
 {
-	uint32_t core_id = CORE_ID;
+	uint32_t id = smp_id();
 	uint32_t flags;
 	uint32_t i, j;
 
@@ -632,11 +632,12 @@ int ipi_tlb_flush(void)
 	flags = irq_nested_disable();
 	for(i=0; i<MAX_APIC_CORES; i++)
 	{
-		if (i == core_id)
+		if (i == id)
 			continue;
 		if (!online[i])
 			continue;
 
+		//kprintf("send IPI to %i\n", i);
 		set_ipi_dest(i);
 		lapic_write(APIC_ICR1, APIC_INT_ASSERT|APIC_DM_FIXED|124);