void usb_register_port(USBBus *bus, USBPort *port, void *opaque, int index,

                       usb_attachfn attach)

{

    port->opaque = opaque;

    port->index = index;

    port->attach = attach;

    TAILQ_INSERT_TAIL(&bus->free, port, next);

    bus->nfree++;

}

void usb_register_port(USBBus *bus, USBPort *port, void *opaque, int index,

                       usb_attachfn attach)

{

    port->opaque = opaque;

    port->index = index;

    port->attach = attach;

    TAILQ_INSERT_TAIL(&bus->free, port, next);

    bus->nfree++;

}

void FUNC_0(USBBus *VAR_0, USBPort *VAR_1, void *VAR_2, int VAR_3,

                       usb_attachfn VAR_4)

{

    VAR_1->VAR_2 = VAR_2;

    VAR_1->VAR_3 = VAR_3;

    VAR_1->VAR_4 = VAR_4;

    TAILQ_INSERT_TAIL(&VAR_0->free, VAR_1, next);

    VAR_0->nfree++;

}

void FUNC_0(USBBus *VAR_0, USBPort *VAR_1, void *VAR_2, int VAR_3,
usb_attachfn VAR_4)
{ VAR_1->VAR_2 = VAR_2; VAR_1->VAR_3 = VAR_3; VAR_1->VAR_4 = VAR_4; TAILQ_INSERT_TAIL(&VAR_0->free, VAR_1, next); VAR_0->nfree++; }