void kvm_s390_cmma_reset(void)

{

    int rc;

    struct kvm_device_attr attr = {

        .group = KVM_S390_VM_MEM_CTRL,

        .attr = KVM_S390_VM_MEM_CLR_CMMA,

    };



    if (mem_path || !kvm_s390_cmma_available()) {

        return;

    }



    rc = kvm_vm_ioctl(kvm_state, KVM_SET_DEVICE_ATTR, &attr);

    trace_kvm_clear_cmma(rc);

}

void kvm_s390_cmma_reset(void)

{

    int rc;

    struct kvm_device_attr attr = {

        .group = KVM_S390_VM_MEM_CTRL,

        .attr = KVM_S390_VM_MEM_CLR_CMMA,

    };



    if (mem_path || !kvm_s390_cmma_available()) {

        return;

    }



    rc = kvm_vm_ioctl(kvm_state, KVM_SET_DEVICE_ATTR, &attr);

    trace_kvm_clear_cmma(rc);

}

void FUNC_0(void)

{

    int VAR_0;

    struct kvm_device_attr VAR_1 = {

        .group = KVM_S390_VM_MEM_CTRL,

        .VAR_1 = KVM_S390_VM_MEM_CLR_CMMA,

    };



    if (mem_path || !kvm_s390_cmma_available()) {

        return;

    }



    VAR_0 = kvm_vm_ioctl(kvm_state, KVM_SET_DEVICE_ATTR, &VAR_1);

    trace_kvm_clear_cmma(VAR_0);

}

void FUNC_0(void)
{ int VAR_0; struct kvm_device_attr VAR_1 = { .group = KVM_S390_VM_MEM_CTRL,
.VAR_1 = KVM_S390_VM_MEM_CLR_CMMA,
}; if (mem_path || !kvm_s390_cmma_available()) { return; } VAR_0 = kvm_vm_ioctl(kvm_state, KVM_SET_DEVICE_ATTR, &VAR_1); trace_kvm_clear_cmma(VAR_0); }