IPL_IPI           126 arch/i386/i386/kvm86.c 	mtx_init(&kvm86_mp_mutex, IPL_IPI);
IPL_IPI            89 arch/i386/include/i82489var.h #define LAPIC_IPI_VECTOR		IPL_IPI
IPL_IPI           114 arch/i386/include/intr.h #define splipi()	splraise(IPL_IPI)