|  | /* | 
|  | * USB xHCI controller for system-bus interface | 
|  | * | 
|  | * SPDX-FileCopyrightText: 2020 Xilinx | 
|  | * SPDX-FileContributor: Author: Sai Pavan Boddu <sai.pavan.boddu@xilinx.com> | 
|  | * SPDX-sourceInfo: Based on hcd-echi-sysbus | 
|  | * | 
|  | * SPDX-License-Identifier: GPL-2.0-or-later | 
|  | */ | 
|  |  | 
|  | #ifndef HW_USB_HCD_XHCI_SYSBUS_H | 
|  | #define HW_USB_HCD_XHCI_SYSBUS_H | 
|  |  | 
|  | #include "hw/usb.h" | 
|  | #include "hcd-xhci.h" | 
|  | #include "hw/sysbus.h" | 
|  |  | 
|  | #define XHCI_SYSBUS(obj) \ | 
|  | OBJECT_CHECK(XHCISysbusState, (obj), TYPE_XHCI_SYSBUS) | 
|  |  | 
|  |  | 
|  | typedef struct XHCISysbusState { | 
|  | /*< private >*/ | 
|  | SysBusDevice parent_obj; | 
|  | /*< public >*/ | 
|  | XHCIState xhci; | 
|  | qemu_irq *irq; | 
|  | } XHCISysbusState; | 
|  |  | 
|  | void xhci_sysbus_reset(DeviceState *dev); | 
|  | #endif |