diff options
| author | Patrick Rudolph <patrick.rudolph@9elements.com> | 2019-11-30 09:42:20 +0100 |
|---|---|---|
| committer | Patrick Rudolph <siro@das-labor.org> | 2019-12-02 07:45:38 +0000 |
| commit | ae64f22e8d5707ef715ad4bd01b6181653a3f9ca (patch) | |
| tree | 532862f66e103515ffb5ea589bfb6250bfc3c8df /src/include/stdint.h | |
| parent | a8582c4c0266bc54db7957173b496dcf1cb4a9e7 (diff) | |
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>
Diffstat (limited to 'src/include/stdint.h')
0 files changed, 0 insertions, 0 deletions