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

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c105 #error please ensure the MON_VECTOR_START is not used by the kernel.
107 /* The physical address region [MON_VECTOR_START, MON_VECTOR_START + size)
109 * the same as MON_VECTOR_START */
111 #define MON_VECTOR_START (0x10000000) macro
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);
123 asm volatile("mcr p15, 0, %0, c12, c0, 1"::"r"(MON_VECTOR_START));
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c105 #error please ensure the MON_VECTOR_START is not used by the kernel.
107 /* The physical address region [MON_VECTOR_START, MON_VECTOR_START + size)
109 * the same as MON_VECTOR_START */
111 #define MON_VECTOR_START (0x10000000) macro
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);
123 asm volatile("mcr p15, 0, %0, c12, c0, 1"::"r"(MON_VECTOR_START));
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c81 #define MON_VECTOR_START (MON_PA_START) macro
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);
146 asm volatile("mcr p15, 0, %0, c12, c0, 1"::"r"(MON_VECTOR_START));
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c81 #define MON_VECTOR_START (MON_PA_START) macro
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);
146 asm volatile("mcr p15, 0, %0, c12, c0, 1"::"r"(MON_VECTOR_START));

Completed in 29 milliseconds