ppc_4xx: Apply new HW register names
[platform/kernel/u-boot.git] / board / samsung /
drwxr-xr-x   ..
drwxr-xr-x - smdk2400
drwxr-xr-x - smdk2410
drwxr-xr-x - smdk6400