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

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c240 static void route_irqs_to_nonsecure(void) function
297 route_irqs_to_nonsecure();
303 route_irqs_to_nonsecure();
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c240 static void route_irqs_to_nonsecure(void) function
297 route_irqs_to_nonsecure();
303 route_irqs_to_nonsecure();
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c164 static void route_irqs_to_nonsecure(void) function
251 route_irqs_to_nonsecure();
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c164 static void route_irqs_to_nonsecure(void) function
251 route_irqs_to_nonsecure();

Completed in 32 milliseconds