If the tool has 64bit issues, we need to find and fix them. No papering over them.
[coreboot.git] / util / dumpmmcr /
drwxr-xr-x   ..
-rw-r--r-- 105 Makefile
-rw-r--r-- 13864 dumpmmcr.c