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