Searched refs:Arch_postModifyRegisters (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/kernel/
H A Dthread.c9 void Arch_postModifyRegisters(tcb_t *tptr) function
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dthread.c10 void Arch_postModifyRegisters(tcb_t *tptr) function
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dthread.c54 void Arch_postModifyRegisters(tcb_t *tptr) function
/seL4-l4v-master/seL4/include/kernel/
H A Dthread.h205 void Arch_postModifyRegisters(tcb_t *tptr);
/seL4-l4v-master/seL4/src/object/
H A Dtcb.c1899 Arch_postModifyRegisters(dest);
2012 Arch_postModifyRegisters(dest);

Completed in 46 milliseconds