Searched refs:setNextPC (Results 1 – 15 of 15) 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/arm/ |
| A D | c_traps.c | 35 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread))); in c_handle_undefined_instruction()
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 27 void setNextPC(tcb_t *thread, word_t v) in setNextPC() function
|
| /seL4-master/src/arch/riscv/ |
| A D | c_traps.c | 135 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread))); in c_handle_exception()
|
| /seL4-master/src/arch/x86/machine/ |
| A D | hardware.c | 35 void setNextPC(tcb_t *thread, word_t v) in setNextPC() function
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | machine.h | 141 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-master/include/arch/arm/arch/64/mode/ |
| A D | machine.h | 47 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-master/include/arch/arm/arch/32/mode/ |
| A D | machine.h | 86 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-master/include/arch/x86/arch/ |
| A D | machine.h | 98 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-master/include/arch/arm/armv/armv7-a/armv/ |
| A D | vcpu.h | 845 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread))); in armv_handleVCPUFault()
|
| /seL4-master/include/arch/arm/armv/armv8-a/32/armv/ |
| A D | vcpu.h | 845 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread))); in armv_handleVCPUFault()
|
| /seL4-master/include/arch/arm/armv/armv8-a/64/armv/ |
| A D | vcpu.h | 650 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread))); in armv_handleVCPUFault()
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 55 setNextPC(NODE_STATE(ksCurThread), pc); in activateThread()
|
| A D | boot.c | 503 setNextPC(tcb, ui_v_entry); in create_initial_thread()
|
| /seL4-master/src/object/ |
| A D | tcb.c | 1886 setNextPC(dest, pc); in invokeTCB_CopyRegisters()
2010 setNextPC(dest, pc); in invokeTCB_WriteRegisters()
|
Completed in 28 milliseconds