diff --git a/src/arch/aarch64/mod.rs b/src/arch/aarch64/mod.rs
index f01139f..0a21bf4 100644
--- a/src/arch/aarch64/mod.rs
+++ b/src/arch/aarch64/mod.rs
@@ -193,23 +193,3 @@ pub fn write_translation_table_base(base: PhysicalAddress) {
 //         },
 //     ];
 // }
-
-pub struct BcmHost;
-
-impl BcmHost {
-    // As per https://www.raspberrypi.org/documentation/hardware/raspberrypi/peripheral_addresses.md
-    /// This returns the ARM-side physical address where peripherals are mapped.
-    pub const fn get_peripheral_address() -> u32 {
-        0x3f00_0000
-    }
-
-    /// This returns the size of the peripheral's space.
-    pub fn get_peripheral_size() -> usize {
-        0x0100_0000
-    }
-
-    /// This returns the bus address of the SDRAM.
-    pub fn get_sdram_address() -> PhysicalAddress {
-        0xC000_0000 // uncached
-    }
-}
diff --git a/src/platform/rpi3.rs b/src/platform/rpi3.rs
index 0e67b4b..bdc987c 100644
--- a/src/platform/rpi3.rs
+++ b/src/platform/rpi3.rs
@@ -19,22 +19,22 @@ pub fn bus2phys(address: u32) -> u32 {
 // @todo use BcmHost::get_peripheral_address() instead
 pub const PERIPHERAL_BASE: u32 = phys2virt(0x3F00_0000); // Base address for all peripherals
 
-pub struct BcmHost; // One dupe of this is in arch::aarch64 mod NOW!
+pub struct BcmHost;
 
 impl BcmHost {
     // As per https://www.raspberrypi.org/documentation/hardware/raspberrypi/peripheral_addresses.md
     /// This returns the ARM-side physical address where peripherals are mapped.
-    pub fn get_peripheral_address() -> u32 {
+    pub const fn get_peripheral_address() -> u32 {
         0x3f00_0000
     }
 
     /// This returns the size of the peripherals' space.
-    pub fn get_peripheral_size() -> usize {
+    pub const fn get_peripheral_size() -> usize {
         0x0100_0000
     }
 
     /// This returns the bus address of the SDRAM.
-    pub fn get_sdram_address() -> usize {
+    pub const fn get_sdram_address() -> usize {
         0xC000_0000 // uncached
     }
 }