void spapr_drc_detach(sPAPRDRConnector *drc)

{

    trace_spapr_drc_detach(spapr_drc_index(drc));



    drc->unplug_requested = true;



    if (drc->isolation_state != SPAPR_DR_ISOLATION_STATE_ISOLATED) {

        trace_spapr_drc_awaiting_isolated(spapr_drc_index(drc));

        return;

    }



    if (spapr_drc_type(drc) != SPAPR_DR_CONNECTOR_TYPE_PCI &&

        drc->allocation_state != SPAPR_DR_ALLOCATION_STATE_UNUSABLE) {

        trace_spapr_drc_awaiting_unusable(spapr_drc_index(drc));

        return;

    }



    spapr_drc_release(drc);

}

void spapr_drc_detach(sPAPRDRConnector *drc)

{

    trace_spapr_drc_detach(spapr_drc_index(drc));



    drc->unplug_requested = true;



    if (drc->isolation_state != SPAPR_DR_ISOLATION_STATE_ISOLATED) {

        trace_spapr_drc_awaiting_isolated(spapr_drc_index(drc));

        return;

    }



    if (spapr_drc_type(drc) != SPAPR_DR_CONNECTOR_TYPE_PCI &&

        drc->allocation_state != SPAPR_DR_ALLOCATION_STATE_UNUSABLE) {

        trace_spapr_drc_awaiting_unusable(spapr_drc_index(drc));

        return;

    }



    spapr_drc_release(drc);

}

void FUNC_0(sPAPRDRConnector *VAR_0)

{

    trace_spapr_drc_detach(spapr_drc_index(VAR_0));



    VAR_0->unplug_requested = true;



    if (VAR_0->isolation_state != SPAPR_DR_ISOLATION_STATE_ISOLATED) {

        trace_spapr_drc_awaiting_isolated(spapr_drc_index(VAR_0));

        return;

    }



    if (spapr_drc_type(VAR_0) != SPAPR_DR_CONNECTOR_TYPE_PCI &&

        VAR_0->allocation_state != SPAPR_DR_ALLOCATION_STATE_UNUSABLE) {

        trace_spapr_drc_awaiting_unusable(spapr_drc_index(VAR_0));

        return;

    }



    spapr_drc_release(VAR_0);

}

void FUNC_0(sPAPRDRConnector *VAR_0)
{ trace_spapr_drc_detach(spapr_drc_index(VAR_0)); VAR_0->unplug_requested = true; if (VAR_0->isolation_state != SPAPR_DR_ISOLATION_STATE_ISOLATED) { trace_spapr_drc_awaiting_isolated(spapr_drc_index(VAR_0)); return; } if (spapr_drc_type(VAR_0) != SPAPR_DR_CONNECTOR_TYPE_PCI &&
VAR_0->allocation_state != SPAPR_DR_ALLOCATION_STATE_UNUSABLE) { trace_spapr_drc_awaiting_unusable(spapr_drc_index(VAR_0)); return; } spapr_drc_release(VAR_0); }