MSI_INTEL_ADDR_BASE
KASSERT((laddr & MSI_INTEL_ADDR_BASE) == MSI_INTEL_ADDR_BASE,
MSI_INTEL_ADDR_BASE));
intel_ntb_reg_write(8, xlat_reg, MSI_INTEL_ADDR_BASE);
intel_ntb_reg_write(4, xlat_reg, MSI_INTEL_ADDR_BASE);
if (addr != MSI_INTEL_ADDR_BASE)
addr = MSI_INTEL_ADDR_BASE;
*addr = MSI_INTEL_ADDR_BASE | (i << 12);
*addr = MSI_INTEL_ADDR_BASE | ((cpu & 0xff) << 12);
*addr = MSI_INTEL_ADDR_BASE | ((cpu & 0xff) << 12);
*addr = MSI_INTEL_ADDR_BASE | ((cpu & 0xff) << 12);
*addr = MSI_INTEL_ADDR_BASE | ((cookie & 0x7fff) << 5) |
(MSI_INTEL_ADDR_BASE | (msi)->msi_cpu << 12 | \
(MSI_INTEL_ADDR_BASE | ((msi)->msi_cpu & 0xff) << 12 | \