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 D | platform_init.c | 105 #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 D | platform_init.c | 105 #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 D | platform_init.c | 81 #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 D | platform_init.c | 81 #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