kernel - Fix edge case with machdep.pmap_mmu_optimize on x86-64
authorMatthew Dillon <dillon@apollo.backplane.com>
Fri, 5 Oct 2012 03:51:02 +0000 (20:51 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Fri, 5 Oct 2012 03:51:02 +0000 (20:51 -0700)
commitec3deaea2c22f9ea909f8ce72afa8d28605d9c26
tree3465ef4df1b8e50ea36600e2c9266cd7fe87fc68
parenta477bfb0aaff832fd0686dc29aeeb90362cc64ba
kernel - Fix edge case with machdep.pmap_mmu_optimize on x86-64

* Fix two edge cases when enabling or disabling machdep.pmap_mmu_optimize,
  causing a shared page table page to be reverted to a local page table page
  and vise-versa.

* Remove debugging kprintf()s

Reported-by: thesjg
sys/platform/pc64/x86_64/pmap.c