MSI_X86_ADDR_BASE
if (addr != MSI_X86_ADDR_BASE) {
addr = MSI_X86_ADDR_BASE;
(MSI_X86_ADDR_BASE | (lapic_id) << 12 | \