Searched refs:Error (Results 1 – 19 of 19) sorted by relevance
/seL4-master/src/arch/x86/64/kernel/ |
A D | thread.c | 21 : [value] "r"(&tcb->tcbArch.tcbContext.registers[Error + 1]), in Arch_switchToThread() 55 : [value] "r"(&tcb->tcbArch.tcbContext.registers[Error + 1]), in Arch_switchToIdleThread() 71 setRegister(tptr, Error, 0); in Mode_postModifyRegisters()
|
/seL4-master/include/arch/x86/arch/machine/ |
A D | debug.h | 105 if (getRegister(target_thread, Error) == -1) { in restore_user_debug_context() 106 setRegister(target_thread, Error, 0); in restore_user_debug_context()
|
/seL4-master/src/arch/x86/64/ |
A D | c_traps.c | 179 if (likely(cur_thread->tcbArch.tcbContext.registers[Error] == -1) && in restore_user_context() 395 setRegister(NODE_STATE(ksCurThread), Error, irq_stack[0]); in c_x64_handle_interrupt()
|
A D | traps.S | 595 pushq $-1 # set Error -1 to mean entry via syscall 638 push $-1 # set Error -1 to mean entry via syscall
|
/seL4-master/src/arch/x86/ |
A D | c_traps.c | 53 … vm_fault_type_t type = (NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] >> 4u) & 1u; in c_handle_interrupt() 73 handleUserLevelFault(irq, NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error]); in c_handle_interrupt()
|
/seL4-master/src/arch/x86/machine/ |
A D | registerset.c | 15 context->registers[Error] = 0; in Arch_initContext()
|
/seL4-master/include/arch/x86/arch/32/mode/machine/ |
A D | registerset.h | 47 /* 0x24 */ Error = 9, enumerator
|
/seL4-master/src/arch/x86/32/ |
A D | c_traps.c | 147 if (likely(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] == -1)) { in restore_user_context()
|
A D | traps.S | 11 #define Error 9 macro 463 movl (4 * Error)(%esp), %eax # EAX contains Error Code
|
/seL4-master/include/arch/x86/arch/64/mode/machine/ |
A D | registerset.h | 56 Error = 15, /* 0x78 */ enumerator
|
/seL4-master/manual/parts/ |
A D | api.tex | 15 \textbf{Error Code} & \textbf{Possible Cause} \\ 122 \section{Error Codes} 171 \subsection{Range Error} 186 \subsection{Alignment Error}
|
A D | cspace.tex | 202 Cap Type & Conditions for Derivation & Error Code on Derivation Failure \\
|
/seL4-master/include/arch/x86/arch/64/mode/fastpath/ |
A D | fastpath.h | 51 : [value] "r"(&thread->tcbArch.tcbContext.registers[Error + 1]), in switchToThread_fp()
|
/seL4-master/manual/ |
A D | Makefile | 270 Error = '^! ' macro 298 ${Q}$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
|
/seL4-master/ |
A D | gdb-macros | 408 printf "Error: not a CNode\n" 469 printf "Error: not a CNode\n" 701 printf "Error: context entry not present\n" 704 printf "Error: root entry not present\n" 737 printf "Error: Page table entry not present\n" 744 printf "Error: bits 63:39 must be 0\n"
|
A D | config.cmake | 14 # Error for unsupported MCS platforms
|
/seL4-master/src/plat/qemu-arm-virt/ |
A D | config.cmake | 53 message(FATAL_ERROR "Error: qemu version must be at least ${MIN_QEMU_VERSION}")
|
/seL4-master/src/arch/arm/ |
A D | config.cmake | 115 Enables a workaround for the 430973 Cortex-A8 (r1p0..r1p2) erratum. Error occurs \ 125 Enables a workaround for the 773022 Cortex-A15 (r0p0..r0p4) erratum. Error occurs \
|
/seL4-master/src/arch/x86/kernel/ |
A D | vspace.c | 570 fault = getRegister(thread, Error); in handleVMFault()
|
Completed in 38 milliseconds