1284345Ssjg/*- 2284345Ssjg * This file is in the public domain. 3284345Ssjg */ 4284345Ssjg/* $FreeBSD: stable/11/sys/amd64/include/cputypes.h 308433 2016-11-08 06:13:22Z jhb $ */ 5284345Ssjg 6284345Ssjg#include <x86/cputypes.h> 7284345Ssjg