From 5bb67f5f3f59d77e6f5d67b1a7fa7c514fdaff50 Mon Sep 17 00:00:00 2001
From: Elliott Mitchell <ehem+freebsd@m5p.com>
Date: Thu, 22 Apr 2021 19:59:22 -0700
Subject: [PATCH] xen/devices: purge uses of intr_machdep.h

Devices in sys/dev should be architecture-independent and NOT #include
intr_machdep.h.

Reviewed by: mhorne royger
Differential Revision: https://reviews.freebsd.org/D29959
---
 sys/dev/xen/blkfront/blkfront.c | 1 -
 sys/dev/xen/evtchn/evtchn_dev.c | 1 -
 2 files changed, 2 deletions(-)

diff --git a/sys/dev/xen/blkfront/blkfront.c b/sys/dev/xen/blkfront/blkfront.c
index 7078cb16caa..4f67d1f827e 100644
--- a/sys/dev/xen/blkfront/blkfront.c
+++ b/sys/dev/xen/blkfront/blkfront.c
@@ -47,7 +47,6 @@ __FBSDID("$FreeBSD$");
 #include <machine/bus.h>
 #include <sys/rman.h>
 #include <machine/resource.h>
-#include <machine/intr_machdep.h>
 #include <machine/vmparam.h>
 
 #include <xen/xen-os.h>
diff --git a/sys/dev/xen/evtchn/evtchn_dev.c b/sys/dev/xen/evtchn/evtchn_dev.c
index fd8e290431b..c970404cce3 100644
--- a/sys/dev/xen/evtchn/evtchn_dev.c
+++ b/sys/dev/xen/evtchn/evtchn_dev.c
@@ -58,7 +58,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/filio.h>
 #include <sys/vnode.h>
 
-#include <machine/intr_machdep.h>
 #include <machine/xen/synch_bitops.h>
 
 #include <xen/xen-os.h>