Searched defs:setNextPC (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/machine/
A D	hardware.c	17 void setNextPC(tcb_t *thread, word_t v) in setNextPC() function
/seL4-master/src/arch/x86/machine/
A D	hardware.c	35 void setNextPC(tcb_t *thread, word_t v) in setNextPC() function
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	27 void setNextPC(tcb_t *thread, word_t v) in setNextPC() function

Completed in 12 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023