sys/cpu/x86_64/include/pmap.h sys/platform/pc64/include/pmap.h sys/platform/vkernel64/include/pmap.h sys/vm/pmap.h
