/*- * This file is in the public domain. */ /* $FreeBSD: stable/11/sys/amd64/include/cputypes.h 308433 2016-11-08 06:13:22Z jhb $ */ #include