Searched refs:arm_monitor_vector_end (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dmonitor.S25 .global arm_monitor_vector_end
75 arm_monitor_vector_end: label
H A Dplatform_init.c113 extern void arm_monitor_vector_end(void);
118 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dmonitor.S25 .global arm_monitor_vector_end
73 arm_monitor_vector_end: label
H A Dplatform_init.c134 extern void arm_monitor_vector_end(void);
140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dmonitor.S25 .global arm_monitor_vector_end
75 arm_monitor_vector_end: label
H A Dplatform_init.c113 extern void arm_monitor_vector_end(void);
118 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dmonitor.S25 .global arm_monitor_vector_end
73 arm_monitor_vector_end: label
H A Dplatform_init.c134 extern void arm_monitor_vector_end(void);
140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;

Completed in 82 milliseconds