#ifndef _INT32_H_
#define _INT32_H_
+/* INCLUDES *******************************************************************/
+
+#include "cpu/callback.h"
+
/* DEFINES ********************************************************************/
/* 32-bit Interrupt Identifiers */
VOID InitializeInt32(VOID);
-#endif /* _INT32_H_ */
+#endif // _INT32_H_
+
+/* EOF */