kvm86_mp_mutex     74 arch/i386/i386/kvm86.c struct mutex kvm86_mp_mutex;
kvm86_mp_mutex    126 arch/i386/i386/kvm86.c 	mtx_init(&kvm86_mp_mutex, IPL_IPI);
kvm86_mp_mutex    265 arch/i386/i386/kvm86.c 	mtx_enter(&kvm86_mp_mutex);	
kvm86_mp_mutex    267 arch/i386/i386/kvm86.c 	mtx_leave(&kvm86_mp_mutex);