| /seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
| H A D | thread.c | 21 : [value] "r"(&tcb->tcbArch.tcbContext.registers[Error + 1]),
55 : [value] "r"(&tcb->tcbArch.tcbContext.registers[Error + 1]),
67 /* Setting Error to 0 will force a return by the interrupt path, which
71 setRegister(tptr, Error, 0);
|
| /seL4-refos-master/kernel/src/arch/x86/machine/ |
| H A D | registerset.c | 15 context->registers[Error] = 0;
|
| /seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
| H A D | debug.h | 105 if (getRegister(target_thread, Error) == -1) {
106 setRegister(target_thread, Error, 0);
|
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 20 * double-word boundary, Error + 1 must be an even number of words
47 /* 0x24 */ Error = 9, enumerator in enum:_register
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | Makefile | 140 Error = '^! ' macro
146 @$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
|
| /seL4-refos-master/kernel/src/arch/x86/64/ |
| H A D | c_traps.c | 179 if (likely(cur_thread->tcbArch.tcbContext.registers[Error] == -1) &&
335 /* skip RFLAGS, Error, NextIP, RSP, and FaultIP */
395 setRegister(NODE_STATE(ksCurThread), Error, irq_stack[0]); local
|
| H A D | traps.S | 61 /* The user context under SMP is always set to Error + 1 for the current
71 * FaultIP, and RSP) and are ready to push Error.
105 /* skip FaultIP, RSP, Error, NextIP, RFLAGS */ \
487 /* skip RFLAGS, Error, NextIP, RSP, FaultIP */
549 /* skip RFLAGS, NextIP, Error, RSP, FaultIP */
595 pushq $-1 # set Error -1 to mean entry via syscall
638 push $-1 # set Error -1 to mean entry via syscall
|
| /seL4-refos-master/kernel/src/arch/x86/32/ |
| H A D | c_traps.c | 147 if (likely(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] == -1)) {
164 // skip FaultIP and Error (these are fake registers)
193 // skip FaultIP and Error
|
| H A D | traps.S | 11 #define Error 9 define
19 # Hardware pushes onto the stack SS, ESP, EFLAGS, CS, NextIP and Error,
463 movl (4 * Error)(%esp), %eax # EAX contains Error Code
529 pushl $-1 # save Error (-1 means we entered via syscall)
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 56 Error = 15, /* 0x78 */ enumerator in enum:_register
|
| /seL4-refos-master/kernel/src/arch/x86/ |
| H A D | c_traps.c | 52 /* Error code is in Error. Pull out bit 5, which is whether it was instruction or data */
53 vm_fault_type_t type = (NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] >> 4u) & 1u;
73 handleUserLevelFault(irq, NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error]);
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 51 : [value] "r"(&thread->tcbArch.tcbContext.registers[Error + 1]),
188 // skip Error
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | api.tex | 105 \section{Error Codes}
154 \subsection{Range Error}
169 \subsection{Alignment Error}
|
| H A D | cspace.tex | 199 Cap Type & Conditions for Derivation & Error Code on Derivation Failure \\
|
| /seL4-refos-master/kernel/manual/ |
| H A D | Makefile | 270 Error = '^! ' macro
298 ${Q}$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 570 fault = getRegister(thread, Error);
|