1 files changed, 4 insertions, 5 deletions

diff --git a/sys/dev/ipmi/ipmi.c b/sys/dev/ipmi/ipmi.c
index da44e70dbcbc..25077500d835 100644
--- a/sys/dev/ipmi/ipmi.c
+++ b/sys/dev/ipmi/ipmi.c
@@ -55,6 +55,10 @@ __FBSDID("$FreeBSD$");
 #include <dev/ipmi/ipmivars.h>
 #endif
 
+#ifdef IPMICTL_SEND_COMMAND_32
+#include <sys/abi_compat.h>
+#endif
+
 /*
  * Driver request structures are allocated on the stack via alloca() to
  * avoid calling malloc(), especially for the watchdog handler.
@@ -315,11 +319,6 @@ ipmi_handle_attn(struct ipmi_softc *sc)
 }
 #endif
 
-#ifdef IPMICTL_SEND_COMMAND_32
-#define	PTRIN(p)	((void *)(uintptr_t)(p))
-#define	PTROUT(p)	((uintptr_t)(p))
-#endif
-
 static int
 ipmi_ioctl(struct cdev *cdev, u_long cmd, caddr_t data,
     int flags, struct thread *td)