static void xhci_child_detach(USBPort *uport, USBDevice *child)

{

    USBBus *bus = usb_bus_from_device(child);

    XHCIState *xhci = container_of(bus, XHCIState, bus);



    xhci_detach_slot(xhci, uport);

}

static void xhci_child_detach(USBPort *uport, USBDevice *child)

{

    USBBus *bus = usb_bus_from_device(child);

    XHCIState *xhci = container_of(bus, XHCIState, bus);



    xhci_detach_slot(xhci, uport);

}

static void FUNC_0(USBPort *VAR_0, USBDevice *VAR_1)

{

    USBBus *bus = usb_bus_from_device(VAR_1);

    XHCIState *xhci = container_of(bus, XHCIState, bus);



    xhci_detach_slot(xhci, VAR_0);

}

static void FUNC_0(USBPort *VAR_0, USBDevice *VAR_1)
{ USBBus *bus = usb_bus_from_device(VAR_1); XHCIState *xhci = container_of(bus, XHCIState, bus); xhci_detach_slot(xhci, VAR_0); }