pub const MMIO_ALLOCBUF: u32 = 65536u32;