Fix virtual_address_mapped() to support large pages, and avoid useless
commit44ff83a71763b1379a9314b8dec5f33cb1ca411b
authorAnders Kaseorg <andersk@mit.edu>
Sat, 28 Jun 2008 09:57:51 +0000 (28 05:57 -0400)
committerAnders Kaseorg <andersk@mit.edu>
Fri, 12 Sep 2008 00:35:09 +0000 (11 20:35 -0400)
treef8982dd39b10f8cef5d8fc2fac39cf23753268e0
parent4f28927b34f1613d143eb16f534cab69d8613bff
Fix virtual_address_mapped() to support large pages, and avoid useless
map/unmap operations.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
kmodsrc/ksplice.h