Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity

use APIC Id to determine if we have to send an IPI

Browse source
This commit is contained in:
Stefan Lankes 2015-07-26 18:47:34 +02:00
parent 3f2c339da1
commit fda8db0898
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
hermit/arch/x86/kernel/apic.c
View file

@ -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);