RISCV/SPARC: send_ipi() takes a vector
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 13 Nov 2012 21:52:07 +0000 (13:52 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 21 Nov 2012 23:41:17 +0000 (15:41 -0800)
commitdfd756076737a84596421346c2c60c51b91bf166
tree78c52cabc7d2b8a93bfa3d0d82f3344296fa8cca
parent150802b2ce2d276f0c0820672bf095c6fd6396a2
RISCV/SPARC: send_ipi() takes a vector

We could either make an arch-function that is "send a kernel message
IPI", which is what the current versions are doing, or extend send_ipi()
to take other vectors.

Since we might have other IPI vectors in the future, I went with this.
If it's something that is completely impossible for these architectures,
then we can do something else.

Haven't compiled this btw - I still can't run the RISCV compiler on my
machine.
kern/arch/riscv/riscv.h
kern/arch/riscv/smp.c
kern/arch/riscv/trap.c
kern/arch/riscv/trap.h
kern/arch/sparc/sparc.h
kern/arch/sparc/trap.c
kern/arch/sparc/trap.h