sys/arch/amd64/include/vmmvar.h
sys/arch/arm64/include/vmmvar.h
sys/arch/i386/include/vmmvar.h