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 D | monitor.S | 24 .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 D | platform_init.c | 112 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 D | monitor.S | 24 .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 D | platform_init.c | 133 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 D | monitor.S | 24 .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 D | platform_init.c | 112 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 D | monitor.S | 24 .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 D | platform_init.c | 133 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