Index: sys/xen/xen_intr.c =================================================================== --- sys/xen/xen_intr.c +++ sys/xen/xen_intr.c @@ -63,9 +63,6 @@ #include -#include -#include - #ifdef DDB #include #endif