| /seL4-l4v-10.1.1/seL4/src/arch/riscv/machine/ |
| H A D | hardware.c | 23 getRestartPC(tcb_t *thread) function
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/api/ |
| H A D | faults.c | 45 va = getRestartPC(sender);
49 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ |
| H A D | hardware.c | 17 getRestartPC(tcb_t *thread) function
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/ |
| H A D | hardware.c | 19 getRestartPC(tcb_t *thread) function
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/api/ |
| H A D | faults.c | 47 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
|
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | debug.h | 80 printf("Next instruction adress: %lx\n", getRestartPC(tptr));
125 printf("%15s\t%p\t%20lu\t%lu\n", state, (void *) getRestartPC(tcb), tcb->tcbPriority, core);
|
| H A D | types.h | 133 (word_t)getRestartPC(NODE_STATE(ksCurThread))); \
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
| H A D | machine.h | 40 word_t PURE getRestartPC(tcb_t *thread);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/api/ |
| H A D | faults.c | 35 setMR(receiver, receiveIPCBuffer, seL4_VMFault_IP, getRestartPC(sender));
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | faulthandler.c | 119 printf("at address %p\n", (void*)getRestartPC(tptr));
|
| H A D | thread.c | 66 pc = getRestartPC(NODE_STATE(ksCurThread));
|
| /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/api/ |
| H A D | faults.c | 196 setMR(receiver, receiveIPCBuffer, seL4_CapFault_IP, getRestartPC(sender));
226 seL4_DebugException_FaultIP, getRestartPC(sender));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | hardware.c | 34 word_t PURE getRestartPC(tcb_t *thread) function
|
| H A D | breakpoint.c | 633 current_fault = seL4_Fault_DebugException_new(getRestartPC(NODE_STATE(ksCurThread)),
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 76 word_t PURE getRestartPC(tcb_t *thread);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/ |
| H A D | machine.h | 50 word_t PURE getRestartPC(tcb_t *thread);
|
| /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 | 101 word_t PURE getRestartPC(tcb_t *thread);
|
| /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 | 1493 pc = getRestartPC(dest);
1619 pc = getRestartPC(dest);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1357 pc = getRestartPC(thread);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 994 pc = getRestartPC(thread);
|