KVM_REQ_UPDATE_HGATP
if (kvm_check_request(KVM_REQ_UPDATE_HGATP, vcpu))
kvm_make_request(KVM_REQ_UPDATE_HGATP, v);