diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c index ede3ae3f8..00c1abd0f 100644 --- a/hermit/kernel/tasks.c +++ b/hermit/kernel/tasks.c @@ -412,8 +412,10 @@ out: if (ret) kfree(stack); +#if 0 if (core_id != CORE_ID) apic_send_ipi(core_id, 121); +#endif return ret; } @@ -511,8 +513,10 @@ out: kfree(counter); } +#if 0 if (core_id != CORE_ID) apic_send_ipi(core_id, 121); +#endif return ret; }