はじめに Inter processor interrupt(IPI) の動作を説明します。 IPI は Multi-core processor(including hyper-threading) 間の通信に利用されます。 Linux kernel / QEMU(x86-64)を動作させて、gdbで動きを確認します。 QEMU / gdb で Linux kernel の動きを確認するを利用します。 IPIを発行しているところ __default_send_IPI_dest_fieldを使ってIPIを発行します。 arch/x86/include/asm/ipi.h static inline void __default_send_IPI_dest_field(unsigned int mask, int vector, unsigned int dest) コンソールでEnterを