KVM_REQ_HFENCE
make_xfence_request(kvm, hbase, hmask, KVM_REQ_HFENCE,
make_xfence_request(kvm, hbase, hmask, KVM_REQ_HFENCE,
make_xfence_request(kvm, hbase, hmask, KVM_REQ_HFENCE,
make_xfence_request(kvm, hbase, hmask, KVM_REQ_HFENCE,
make_xfence_request(kvm, hbase, hmask, KVM_REQ_HFENCE,
make_xfence_request(kvm, hbase, hmask, KVM_REQ_HFENCE,
if (kvm_check_request(KVM_REQ_HFENCE, vcpu))