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

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dmonitor.S10 #define VECTOR_BASE 0x10000000 define
11 #define STACK_TOP (VECTOR_BASE + (1 << 12) - 0x10)
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dmonitor.S10 #define VECTOR_BASE 0xa7f00000 define
11 #define STACK_TOP (VECTOR_BASE + (1 << 20) - 0x10)
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dmonitor.S10 #define VECTOR_BASE 0x10000000 define
11 #define STACK_TOP (VECTOR_BASE + (1 << 12) - 0x10)
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dmonitor.S10 #define VECTOR_BASE 0xa7f00000 define
11 #define STACK_TOP (VECTOR_BASE + (1 << 20) - 0x10)
46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)

Completed in 22 milliseconds