x86: send_ipi takes an OS coreid
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 13 Nov 2012 21:07:35 +0000 (13:07 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 21 Nov 2012 23:41:17 +0000 (15:41 -0800)
commit150802b2ce2d276f0c0820672bf095c6fd6396a2
tree1afb3917fba8cf06320b7d2b6e3c3c8554765421
parentcee5040100a91c263b1bdf669618371ef151838e
x86: send_ipi takes an OS coreid

Instead of a hw_coreid, making like the other architectures.
kern/arch/i686/apic.h
kern/arch/i686/arch.h
kern/arch/i686/smp.c
kern/arch/i686/trap.c
kern/src/testing.c