struct XenDevice *xen_be_find_xendev(const char *type, int dom, int dev)

{

    struct XenDevice *xendev;



    TAILQ_FOREACH(xendev, &xendevs, next) {

	if (xendev->dom != dom)

	    continue;

	if (xendev->dev != dev)

	    continue;

	if (strcmp(xendev->type, type) != 0)

	    continue;

	return xendev;

    }

    return NULL;

}

struct XenDevice *xen_be_find_xendev(const char *type, int dom, int dev)

{

    struct XenDevice *xendev;



    TAILQ_FOREACH(xendev, &xendevs, next) {

	if (xendev->dom != dom)

	    continue;

	if (xendev->dev != dev)

	    continue;

	if (strcmp(xendev->type, type) != 0)

	    continue;

	return xendev;

    }

    return NULL;

}

struct XenDevice *FUNC_0(const char *VAR_0, int VAR_1, int VAR_2)

{

    struct XenDevice *VAR_3;



    TAILQ_FOREACH(VAR_3, &xendevs, next) {

	if (VAR_3->VAR_1 != VAR_1)

	    continue;

	if (VAR_3->VAR_2 != VAR_2)

	    continue;

	if (strcmp(VAR_3->VAR_0, VAR_0) != 0)

	    continue;

	return VAR_3;

    }

    return NULL;

}

struct XenDevice *FUNC_0(const char *VAR_0, int VAR_1, int VAR_2)
{ struct XenDevice *VAR_3; TAILQ_FOREACH(VAR_3, &xendevs, next) { if (VAR_3->VAR_1 != VAR_1)
continue; if (VAR_3->VAR_2 != VAR_2)
continue; if (strcmp(VAR_3->VAR_0, VAR_0) != 0)
continue; return VAR_3; } return NULL; }