Searched refs:USB_HC_HIGH_32BIT (Results 1 - 6 of 6) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Bus/Pci/EhciPei/
H A DUsbHcMem.h28 #define USB_HC_HIGH_32BIT(Addr64) \ macro
H A DUsbHcMem.c96 if (Pool->Check4G && (Pool->Which4G != USB_HC_HIGH_32BIT (MappedAddr))) {
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Bus/Pci/EhciDxe/
H A DUsbHcMem.h24 #define USB_HC_HIGH_32BIT(Addr64) \ macro
H A DUsbHcMem.c100 if (Pool->Check4G && (Pool->Which4G != USB_HC_HIGH_32BIT (MappedAddr))) {
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Bus/Pci/UhciDxe/
H A DUsbHcMem.h24 #define USB_HC_HIGH_32BIT(Addr64) \ macro
H A DUsbHcMem.c99 if (Pool->Check4G && (Pool->Which4G != USB_HC_HIGH_32BIT (MappedAddr))) {

Completed in 79 milliseconds