u-boot/arch/arm/mach-zynqmp/include/mach/ecc_spl_init.h