mmu_queue_flush    84 arch/x86/kernel/kvm.c 		mmu_queue_flush(state);
mmu_queue_flush   203 arch/x86/kernel/kvm.c 	mmu_queue_flush(state);