drivers/usb/ehci_debug: Add x86_64 support
commitae64f22e8d5707ef715ad4bd01b6181653a3f9ca
authorPatrick Rudolph <patrick.rudolph@9elements.com>
Sat, 30 Nov 2019 08:42:20 +0000 (30 09:42 +0100)
committerPatrick Rudolph <siro@das-labor.org>
Mon, 2 Dec 2019 07:45:38 +0000 (2 07:45 +0000)
tree532862f66e103515ffb5ea589bfb6250bfc3c8df
parenta8582c4c0266bc54db7957173b496dcf1cb4a9e7
drivers/usb/ehci_debug: Add x86_64 support

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>
src/drivers/usb/ehci_debug.c
src/drivers/usb/ehci_debug.h
src/drivers/usb/pci_ehci.c