2003-11-03 21:25:52 +00:00
|
|
|
/*-
|
2018-08-20 12:31:39 +00:00
|
|
|
* This file is in the public domain.
|
2003-11-03 21:25:52 +00:00
|
|
|
*/
|
2018-08-20 12:31:39 +00:00
|
|
|
/* $FreeBSD$ */
|
2003-11-03 21:25:52 +00:00
|
|
|
|
2018-08-20 12:31:39 +00:00
|
|
|
#include <x86/intr_machdep.h>
|