RISC-V broadcast IPI
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 29 Sep 2014 01:30:53 +0000 (18:30 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 29 Sep 2014 01:42:54 +0000 (18:42 -0700)
Needs a look, etc.  The RISC-V port needs a bit of work.

kern/arch/riscv/riscv.h

index 23aa8fe..9bdb660 100644 (file)
@@ -38,6 +38,15 @@ send_ipi(uint32_t who, uint8_t vector)
 }
 
 static __inline void
+send_broadcast_ipi(uint8_t vector)
+{
+#warning "broadcast ipi?"
+       /* num_cpus might not be visible here */
+       for (int i = 0; i < num_cpus; i++)
+               send_ipi(i, vector);
+}
+
+static __inline void
 clear_ipi()
 {
        mtpcr(PCR_CLR_IPI, 0);