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