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

/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h37 #define PT_SP (13 * 4) macro
118 compile_assert(sp_offset_correct, SP *sizeof(word_t) == PT_SP)
/seL4-refos-master/kernel/src/arch/arm/32/
H A Dhyp_traps.S111 str lr, [sp, #(PT_FaultIP - PT_SP)]

Completed in 75 milliseconds