Symbol: arch_msi_msg_addr_hi