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