@@ -1,6 +0,0 @@
/*-
* This file is in the public domain.
*/
/* $FreeBSD$ */
#include <x86/intr_machdep.h>
The note is not visible to the blocked user.