pub const ACDC_VIRT_MMIO_SIZE: u64 = 0x10;