akern-gkgoat-fork/ableos/src/arch/aarch32/mbox.rs

const MMIO_BASE: u32 = 0x3F00_0000;
const VIDEOCORE_MBOX: u32 = MMIO_BASE + 0xB880;