x86 core id reordering
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 4 Feb 2010 01:07:27 +0000 (17:07 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 4 Feb 2010 01:22:17 +0000 (17:22 -0800)
commit76e9565711e81931693b5bcce3c6d57f5e17bdc4
tree0498904d664bd38a93f01893df8b2fff5a5ab2b7
parentd8f4e62c3b47e07501e4f4aece21c3ceb6b6365e
x86 core id reordering

Provides support for non-contiguous hardware core ids, since x86 encodes
topological information in their lapic ids.  If you use send_ipi, you
usually will want to convert to the hardware id using
get_hw_coreid(dest).

Also, if you want to send a group IPI (logical), there is a separate
function for that now.
kern/arch/i386/apic.h
kern/arch/i386/arch.h
kern/arch/i386/init.c
kern/arch/i386/pmap.c
kern/arch/i386/smp.c
kern/arch/i386/smp_boot.c
kern/arch/i386/trap.c
kern/src/testing.c