Searched defs:FaultIP (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/kernel/src/arch/x86/64/ |
H A D | c_traps.c | 401 setRegister(NODE_STATE(ksCurThread), FaultIP, irq_stack[1]); local
|
/seL4-test-master/kernel/src/arch/x86/ |
H A D | c_traps.c | 167 setRegister(NODE_STATE(ksCurThread), FaultIP, getRegister(NODE_STATE(ksCurThread), NextIP) - 2); local
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/ |
H A D | registerset.h | 43 /* 0x20 */ FaultIP = 8, enumerator in enum:_register
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/machine/ |
H A D | registerset.h | 59 FaultIP = 17, /* 0x88 */ enumerator in enum:_register
|
/seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 67 FaultIP = 33, /* SEPC */ enumerator in enum:_register
|
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
H A D | registerset.h | 106 FaultIP = 17, enumerator in enum:_register
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
H A D | registerset.h | 141 FaultIP = 34, /* 0x110 */ enumerator in enum:_register
|
Completed in 101 milliseconds