tlb_flush_global() needs to call core_id_early()
authorKevin Klues <klueska@cs.berkeley.edu>
Tue, 4 Aug 2015 03:30:32 +0000 (20:30 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 15 Sep 2015 18:04:35 +0000 (14:04 -0400)
commit7e7c2b091434adff92bae2a48cd64e685b283f5c
treecf9518238eaff54d5a4a2a6992df7b5ff9e87522
parenta9f4891ab49364269ca50e0a328c633b3d137b94
tlb_flush_global() needs to call core_id_early()

Previously it just called core_id(), but it is used inside vm_init()
early on in the boot process. As we begin to upgrade the way we discover
our topology, it is important to make sure we use the core_id_early() to
make sure we read 0 early on, and not some bogus value from our
topology data structure if it has not yet been properly initialized.
kern/arch/x86/pmap.c