KVM_REQ_LOAD_CR3 4411 arch/x86/kvm/mmu.c 			kvm_make_request(KVM_REQ_LOAD_CR3, vcpu);
KVM_REQ_LOAD_CR3 8060 arch/x86/kvm/x86.c 		if (kvm_check_request(KVM_REQ_LOAD_CR3, vcpu))