100644 blob 790dbc11d9651ac0070df00cc33815b3b3fb94aa	s10_clock_manager.h
100644 blob 155b2795ead3c373aa457d9b8300958a9fc71073	s10_memory_controller.h
100644 blob 99f86f54d474e504113d0c61efc960da3912a1fc	s10_mmc.h
100644 blob 82367d74f42bbcf2a71f837fb5a6c07ee9f0136e	s10_pinmux.h
100644 blob 88c0b4693ad4be082edcd86c405c1b2cb22f7231	s10_system_manager.h
100644 blob 81296a3a29319711b47852e08f63cc69d66d4d69	socfpga_plat_def.h