KVM_REQ_FENCE_I
make_xfence_request(kvm, hbase, hmask, KVM_REQ_FENCE_I,
KVM_REQ_FENCE_I, NULL);
if (kvm_check_request(KVM_REQ_FENCE_I, vcpu))