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