Constant devices::pmc_virt::VPMC_VIRT_MMIO_SIZE

pub const VPMC_VIRT_MMIO_SIZE: u64 = 0x10;