x86: theadorable-x86-common: Change pci hotplug cmdline parameters (again)
[platform/kernel/u-boot.git] / include / cavium /
drwxr-xr-x   ..
-rw-r--r-- 747 atf.h
-rw-r--r-- 407 atf_part.h
-rw-r--r-- 1342 thunderx_svc.h