1 /* SPDX-License-Identifier: GPL-2.0-only */
3 // Use simple device model for this file even in ramstage
4 #define __SIMPLE_DEVICE__
6 #include <device/pci_ehci.h>
7 #include <device/pci_def.h>
9 pci_devfn_t
pci_ehci_dbg_dev(unsigned int hcd_idx
)
11 return PCI_DEV(0, 0x1d, 0);
14 void pci_ehci_dbg_set_port(pci_devfn_t dev
, unsigned int port
)
16 /* Hardcoded to physical port 1 */