From 722770f62ff493b5ecef553bf36be84de3c23907 Mon Sep 17 00:00:00 2001
From: Kevin O'Connor <kevin@koconnor.net>
Date: Sun, 7 Jun 2020 19:39:30 -0400
Subject: [PATCH] generic: Minor header cleanup to generic/irq.h

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
---
 src/generic/irq.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/generic/irq.h b/src/generic/irq.h
index bbabf029..76c28bf3 100644
--- a/src/generic/irq.h
+++ b/src/generic/irq.h
@@ -1,8 +1,6 @@
 #ifndef __GENERIC_IRQ_H
 #define __GENERIC_IRQ_H
 
-#include <stdint.h>
-
 typedef unsigned long irqstatus_t;
 
 void irq_disable(void);