Changeset 4ffa9e0 in mainline for src/mm/tlb.c

Timestamp:

2005-02-23T11:48:52Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

3418c41

Parents:

b109ebb

Message:

New IPI for waking up idle CPU's halted in scheduler.
Added architecture-independent ipi_broadcast().

File:

• src/mm/tlb.c (modified) (2 diffs)

src/mm/tlb.c

@@ -28 +28 @@
 
 #include <mm/tlb.h>
+#include <smp/ipi.h>
 #include <synch/spinlock.h>
 #include <typedefs.h>
 #include <arch/atomic.h>
+#include <arch/interrupt.h>
 #include <config.h>
 
@@ -60 +62 @@
 }
 
+void tlb_shootdown_ipi_send(void)
+{
+        ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);
+}
+
 void tlb_shootdown_ipi_recv(void)
 {