Searched refs:MON_PA_START (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c77 #define MON_PA_START (0x80000000 + 0x27f00000) macro
79 #define MON_PA_END (MON_PA_START + MON_PA_SIZE)
81 #define MON_VECTOR_START (MON_PA_START)
82 #define MON_HANDLER_START (MON_PA_START + 0x10000)
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c77 #define MON_PA_START (0x80000000 + 0x27f00000) macro
79 #define MON_PA_END (MON_PA_START + MON_PA_SIZE)
81 #define MON_VECTOR_START (MON_PA_START)
82 #define MON_HANDLER_START (MON_PA_START + 0x10000)

Completed in 26 milliseconds