kernel - More work on x86_64 low-memory configurations
authorMatthew Dillon <dillon@apollo.backplane.com>
Wed, 29 Sep 2010 21:47:11 +0000 (14:47 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Wed, 29 Sep 2010 21:47:11 +0000 (14:47 -0700)
commit86dae8f1de124b68ed764a2d33e2d20db28ad0ad
tree7e86f41ecc2a76dfb32c8922dfe1cfcb16d5a3f7
parent948209ced623a677639255d06b6a8470f3605b27
kernel - More work on x86_64 low-memory configurations

* The nkpt calculation was wrong and could lead to too few kernel
  page-tables during low level boot.

  Try to calculate the correct value and then add 128 page tables just
  to be safe.

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