/*- * This file is in the public domain. */ /* $FreeBSD: stable/11/sys/i386/include/intr_machdep.h 339872 2018-10-29 20:21:10Z jhb $ */ #include