Global pages support.
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 14 Apr 2009 08:00:13 +0000 (01:00 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 14 Apr 2009 08:00:13 +0000 (01:00 -0700)
commitb8bd4fba28bdbbc79bbd2a26f77e49de7955471a
tree59a90cb5ef6ba933c06a76dc3a5d5acaf0d060cc
parent790c8923057d87f1a8de53616e71f326536799b0
Global pages support.

Used for all of the boot_mappings.  Someone should check to see if they
are getting applied.  More difficult would be to see how effective they
are (TLB hits on context switches for the kernel mappings), and if the
non-jumbo PDEs do anything with the PTE_G flag.
kern/pmap.c
kern/smp_entry.S