IPI_STARTUP 54 kernel/arch/amd64/include/arch/smp/apic.h #define IPI_STARTUP 0 IPI_STARTUP 54 kernel/arch/ia32/include/arch/smp/apic.h #define IPI_STARTUP 0