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