XEON_PBAR4LMT_OFFSET
iowrite32(0, mmio + XEON_PBAR4LMT_OFFSET);
u.v32 = ioread32(mmio + XEON_PBAR4LMT_OFFSET);