Searched refs:install_monitor_hook (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c116 static void install_monitor_hook(void) function
241 install_monitor_hook();
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c116 static void install_monitor_hook(void) function
241 install_monitor_hook();
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c138 static void install_monitor_hook(void) function
290 install_monitor_hook();
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c138 static void install_monitor_hook(void) function
290 install_monitor_hook();

Completed in 31 milliseconds