update

[l4.git] / kernel / fiasco / src / jdb / ia32 / jdb-ia32-amd64.cpp

diff --git a/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp b/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
index 2fe085249092f5d6a100af0cabfc1f392735eb3d..a812998277b582defb544e8f1c84b89d2e33bb80 100644 (file)
--- a/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
+++ b/kernel/fiasco/src/jdb/ia32/jdb-ia32-amd64.cpp
@@ -1017,5 +1017,5 @@ static
 void
 Jdb::send_nmi(unsigned cpu)
 {
-  Apic::mp_send_ipi(Cpu::cpus.cpu(cpu).phys_id(), 0, Apic::APIC_IPI_NMI);
+  Apic::mp_send_ipi(Apic::apic.cpu(cpu)->apic_id(), 0, Apic::APIC_IPI_NMI);
 }