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

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dmonitor.S24 .global arm_monitor_vector
35 arm_monitor_vector: label
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
H A Dplatform_init.c112 extern void arm_monitor_vector(void);
118 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;
120 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size);
121 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size);
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dmonitor.S24 .global arm_monitor_vector
35 arm_monitor_vector: label
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
H A Dplatform_init.c133 extern void arm_monitor_vector(void);
140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;
143 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size);
144 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size);
210 extern void arm_monitor_vector(void);
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dmonitor.S24 .global arm_monitor_vector
35 arm_monitor_vector: label
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
H A Dplatform_init.c112 extern void arm_monitor_vector(void);
118 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;
120 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size);
121 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size);
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dmonitor.S24 .global arm_monitor_vector
35 arm_monitor_vector: label
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
H A Dplatform_init.c133 extern void arm_monitor_vector(void);
140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector;
143 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size);
144 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size);
210 extern void arm_monitor_vector(void);

Completed in 33 milliseconds