x86: Change idt_init() to not clobber num_cores
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 15 Sep 2015 18:11:09 +0000 (14:11 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 15 Sep 2015 18:11:09 +0000 (14:11 -0400)
commitd28cd48f24f005c20c423fa49e0fd478e6bb2158
tree5f49727fed2e05b415fe72e93314ab6206c21007
parent276e334929baa5617b89430ce31ae1e11a9dd325
x86: Change idt_init() to not clobber num_cores

idt_init() uses some Plan 9 techniques to check the MP tables and ACPI
to determine the number of cores.  It was clobbering the value computed
by the topology.  These values should not differ - if they do, there may
be something wrong with MP/ACPI, or we're lacking ACPI at all.
kern/arch/x86/trap.c