gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 56a61e5e27ab5b9c9c9706f2a2b353880dc04f9d / arch / arm / mach-s5pc1xx / include / mach