ae64f22e8d
Use proper int to pointer conversions. Tested on Lenovo T410 with x86_64 enabled. Still works. Change-Id: I4ed62297fb47d7d83d4b28e80f3770de99ce70f7 Signed-off-by: Patrick Rudolph <patrick.rudolph@9elements.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/37393 Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com> Tested-by: build bot (Jenkins) <no-reply@coreboot.org> |
||
---|---|---|
.. | ||
acpi | ||
console.c | ||
ehci.h | ||
ehci_debug.c | ||
ehci_debug.h | ||
gadget.c | ||
Kconfig | ||
Makefile.inc | ||
pci_ehci.c | ||
usb_ch9.h |