int vfio_container_ioctl(AddressSpace *as, int32_t groupid,

                         int req, void *param)

{

    /* We allow only certain ioctls to the container */

    switch (req) {

    case VFIO_CHECK_EXTENSION:

    case VFIO_IOMMU_SPAPR_TCE_GET_INFO:

    case VFIO_EEH_PE_OP:

        break;

    default:

        /* Return an error on unknown requests */

        error_report("vfio: unsupported ioctl %X", req);

        return -1;

    }



    return vfio_container_do_ioctl(as, groupid, req, param);

}

int vfio_container_ioctl(AddressSpace *as, int32_t groupid,

                         int req, void *param)

{

    

    switch (req) {

    case VFIO_CHECK_EXTENSION:

    case VFIO_IOMMU_SPAPR_TCE_GET_INFO:

    case VFIO_EEH_PE_OP:

        break;

    default:

        

        error_report("vfio: unsupported ioctl %X", req);

        return -1;

    }



    return vfio_container_do_ioctl(as, groupid, req, param);

}

int FUNC_0(AddressSpace *VAR_0, int32_t VAR_1,

                         int VAR_2, void *VAR_3)

{

    

    switch (VAR_2) {

    case VFIO_CHECK_EXTENSION:

    case VFIO_IOMMU_SPAPR_TCE_GET_INFO:

    case VFIO_EEH_PE_OP:

        break;

    default:

        

        error_report("vfio: unsupported ioctl %X", VAR_2);

        return -1;

    }



    return vfio_container_do_ioctl(VAR_0, VAR_1, VAR_2, VAR_3);

}

int FUNC_0(AddressSpace *VAR_0, int32_t VAR_1,
int VAR_2, void *VAR_3)
{ switch (VAR_2) { case VFIO_CHECK_EXTENSION:
case VFIO_IOMMU_SPAPR_TCE_GET_INFO:
case VFIO_EEH_PE_OP:
break; default:
error_report("vfio: unsupported ioctl %X", VAR_2); return -1; } return vfio_container_do_ioctl(VAR_0, VAR_1, VAR_2, VAR_3); }