[nostalgia/core] Change how gba_timer_t is configured

src/nostalgia/core/gba/core.arm.cpp

@@ -8,6 +8,7 @@
 #include "addresses.hpp"
 #include "bios.hpp"
 #include "irq.hpp"
+#include "core.hpp"
 
 extern "C" void isr();
 

src/nostalgia/core/gba/core.cpp

@@ -9,6 +9,7 @@
 #include "addresses.hpp"
 #include "bios.hpp"
 #include "irq.hpp"
+#include "core.hpp"
 
 extern "C" void isr();
 

src/nostalgia/core/gba/core.hpp

@@ -0,0 +1,15 @@
+/*
+ * Copyright 2016 - 2022 Gary Talent (gary@drinkingtea.net). All rights reserved.
+ */
+
+#pragma once
+
+#include <ox/std/types.hpp>
+
+#include <nostalgia/core/config.hpp>
+
+namespace nostalgia::core {
+
+using gba_timer_t = ox::Uint<config::GbaTimerBits>;
+
+}

src/nostalgia/core/gba/irq.arm.cpp

@@ -8,6 +8,7 @@
 #include <ox/std/bit.hpp>
 
 #include "addresses.hpp"
+#include "core.hpp"
 #include "gfx.hpp"
 #include "irq.hpp"