XEON_SBAR23BASE_OFFSET
iowrite64(bar_addr, mmio + XEON_SBAR23BASE_OFFSET);
bar_addr = ioread64(mmio + XEON_SBAR23BASE_OFFSET);
u.v64 = ioread64(mmio + XEON_SBAR23BASE_OFFSET);