- ## The format of pci address is : \r
- ## -----------------------------------------------------------------------\r
- ## | Bits 28..31 | Bits 20..27 | Bits 15..19 | Bits 12..14 | Bits 00..11 |\r
- ## -----------------------------------------------------------------------\r
- ## | 0 | Bus | Device | Function | 0 |\r
- ## -----------------------------------------------------------------------\r
- ##\r
- ## For the value below, it means the pci address at bus 0x0, device 0x1D, function 0x7.\r
+ # The format of pci address is :<BR>\r
+ # -----------------------------------------------------------------------<BR>\r
+ # | Bits 28..31 | Bits 20..27 | Bits 15..19 | Bits 12..14 | Bits 00..11 |<BR>\r
+ # -----------------------------------------------------------------------<BR>\r
+ # | 0 | Bus | Device | Function | 0 |<BR>\r
+ # -----------------------------------------------------------------------<BR>\r
+ # For the value 0x000EF000, it means the pci address at bus 0x0, device 0x1D, function 0x7.\r
+ # @Prompt Configure ehci host controller pci address.\r
+ # @Expression 0x80000001 | (gEfiSourceLevelDebugPkgTokenSpaceGuid.PcdUsbEhciPciAddress & 0xF0000FFF) == 0\r