* Hiroshi Shimamoto <h-shimamoto@ct.jp.nec.com> wrote:> From: Hiroshi Shimamoto <h-shimamoto@ct.jp.nec.com>> > Use apic_icr_read at print_local_APIC() in io_apic_32.capplied to tip/x86/x2apic, thanks. Ingo