Constant OS_MMIO_VADDR

Source
pub const OS_MMIO_VADDR: u32 = 515899392;