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