sys/platform/pc64/include/vmparam.h
sys/platform/vkernel64/include/vmparam.h