Searched refs:setNextPC (Results 1 - 14 of 14) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/machine/ |
| H A D | hardware.c | 29 setNextPC(tcb_t *thread, word_t v) function
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ |
| H A D | hardware.c | 23 setNextPC(tcb_t *thread, word_t v) function
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/ |
| H A D | hardware.c | 25 setNextPC(tcb_t *thread, word_t v) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
| H A D | machine.h | 41 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/ |
| H A D | c_traps.c | 42 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread)));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | hardware.c | 39 void setNextPC(tcb_t *thread, word_t v) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 77 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/ |
| H A D | machine.h | 51 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 743 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread)));
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
| H A D | machine.h | 102 void setNextPC(tcb_t *thread, word_t v);
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | thread.c | 67 setNextPC(NODE_STATE(ksCurThread), pc);
|
| H A D | boot.c | 455 setNextPC(tcb, ui_v_entry);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | vcpu.c | 777 setNextPC(NODE_STATE(ksCurThread), getRestartPC(NODE_STATE(ksCurThread)));
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | tcb.c | 1494 setNextPC(dest, pc);
1620 setNextPC(dest, pc);
|
Completed in 99 milliseconds