DESTMOD_PHYS 67 kernel/arch/amd64/include/arch/smp/apic.h #define DESTMOD_PHYS 0x0U DESTMOD_PHYS 67 kernel/arch/ia32/include/arch/smp/apic.h #define DESTMOD_PHYS 0x0U