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 | ||