XEON_SBAR4BASE_OFFSET
iowrite32(bar_addr, mmio + XEON_SBAR4BASE_OFFSET);
bar_addr = ioread32(mmio + XEON_SBAR4BASE_OFFSET);
u.v32 = ioread32(mmio + XEON_SBAR4BASE_OFFSET);