TRIGMOD_LEVEL 72 kernel/arch/amd64/include/arch/smp/apic.h #define TRIGMOD_LEVEL 0x1U TRIGMOD_LEVEL 72 kernel/arch/ia32/include/arch/smp/apic.h #define TRIGMOD_LEVEL 0x1U