efi_loader: printf code in efi_disk_get_device_name()
[platform/kernel/u-boot.git] / examples /
drwxr-xr-x   ..
-rw-r--r-- 189 Makefile
drwxr-xr-x - api
drwxr-xr-x - standalone