device/device_util.c: Correct format specifier
[coreboot.git] / Documentation / arch / 
tree1cd3962d40b6f9699e6921360adb01e3fa2ffbe9
drwxr-xr-x   ..
-rw-r--r-- 218 index.md
drwxr-xr-x - riscv
drwxr-xr-x - x86