Searched refs:platform_init (Results 1 - 18 of 18) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/fvp/
H A Dplatform_init.c7 void platform_init(void) function
/seL4-refos-master/tools/elfloader/src/plat/fvp/
H A Dplatform_init.c7 void platform_init(void) function
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/zynq7000/
H A Dplatform_init.c69 void platform_init(void) function
/seL4-refos-master/tools/elfloader/src/plat/zynq7000/
H A Dplatform_init.c69 void platform_init(void) function
/seL4-refos-master/seL4_tools/elfloader-tool/include/
H A Delfloader_common.h76 void platform_init(void);
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/exynos5/
H A Dplatform_init.c73 void platform_init(void) function
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/
H A Dplatform_init.c83 void platform_init(void) function
/seL4-refos-master/tools/elfloader/include/
H A Delfloader_common.h76 void platform_init(void);
/seL4-refos-master/tools/elfloader/src/plat/exynos5/
H A Dplatform_init.c73 void platform_init(void) function
/seL4-refos-master/tools/elfloader/src/plat/tx2/
H A Dplatform_init.c83 void platform_init(void) function
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/
H A Dsys_boot.c133 platform_init();
/seL4-refos-master/tools/elfloader/src/arch-arm/
H A Dsys_boot.c133 platform_init();
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c236 void platform_init(void) function
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c236 void platform_init(void) function
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c282 void platform_init(void) function
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c282 void platform_init(void) function
/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c425 void __attribute__((weak)) platform_init(void) {} function
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c425 void __attribute__((weak)) platform_init(void) {} function

Completed in 48 milliseconds