KVM_REQ_MMU_SYNC
kvm_make_request(KVM_REQ_MMU_SYNC, vcpu);
kvm_make_request(KVM_REQ_MMU_SYNC, vcpu);
kvm_make_request(KVM_REQ_MMU_SYNC, vcpu);
if (kvm_check_request(KVM_REQ_MMU_SYNC, vcpu))
kvm_make_request(KVM_REQ_MMU_SYNC, vcpu);