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)
commit559e89b6e01729e924c3d93eb9d9c16a26217310
tree291e8d34f840dfdded7e1d183fb20c9bbbd9f319
parentbcff46ad124ec4a167a70cbba38beab0aa2ca85c
RISC-V broadcast IPI

Needs a look, etc.  The RISC-V port needs a bit of work.
kern/arch/riscv/riscv.h