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