Searched refs:switch_to_ns_svc_mode (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c191 static void switch_to_ns_svc_mode(void) function
298 switch_to_ns_svc_mode();
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c191 static void switch_to_ns_svc_mode(void) function
298 switch_to_ns_svc_mode();

Completed in 28 milliseconds