155714Skris/*- 255714Skris * This file is in the public domain. 355714Skris */ 455714Skris/* $FreeBSD: stable/11/sys/i386/include/intr_machdep.h 339872 2018-10-29 20:21:10Z jhb $ */ 555714Skris 655714Skris#include <x86/intr_machdep.h> 755714Skris