MSI_ADDR_DEST_SHIFT
(mregs->mr_addr << MSI_ADDR_DEST_SHIFT);
((localapic_id & 0xFF) << MSI_ADDR_DEST_SHIFT) |
(target_apic_id << MSI_ADDR_DEST_SHIFT));