e7b96c32c1
dprintk(BIOS_,...) was probably useed for debug print, so use printk(BIOS_, ...) instead. Change-Id: Ia4171c8b4b42f6b0c1c9c0438bab2eef73f8c416 Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/61405 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com> |
||
---|---|---|
.. | ||
acpi | ||
hub | ||
pci_xhci | ||
console.c | ||
ehci.h | ||
ehci_debug.c | ||
ehci_debug.h | ||
gadget.c | ||
Kconfig | ||
Makefile.inc | ||
pci_ehci.c | ||
usb_ch9.h |