GEN4_IM45XBASE_OFFSET
iowrite64(0, mmio + GEN4_IM45XBASE_OFFSET);
u.v64 = ioread64(mmio + GEN4_IM45XBASE_OFFSET);