| /seL4-master/manual/parts/ |
| A D | threads.tex | 322 should be trusted not to fault at all.
332 timeout fault handler, a fault will not be raised and the thread will continue
346 nested server also has a timeout fault handler.
371 thread. This means that to send a fault message the fault endpoint
418 Replying to the fault IPC allows the thread to be restarted
432 Replying to the fault IPC allows the thread to be restarted
550 the fault-reply to a single-step debug fault.
565 \label{sec:timeout-fault}
588 \label{sec:vm-fault}
590 The thread caused a page fault. Replying to the fault IPC will restart
[all …]
|
| A D | io.tex | 239 SMMU fault handling is delegated to user level via invocations that allow fault
447 \label{sec:smmuv2-fault-handling}
453 \item Invalid context fault.
454 \item Unidentified stream fault.
455 \item Stream match conflict fault.
456 \item Unimplemented context bank fault.
457 \item Unimplemented context interrupt fault.
458 \item Configuration access fault.
459 \item External fault.
463 cause of a fault by first reading the global fault registers (one state register
[all …]
|
| A D | objects.tex | 172 \obj{Endpoint} or \obj{Notification} capabilities, raising a fault (see
200 object capabilities, raising a fault (see section \ref{sec:faults}) when
|
| A D | vspace.tex | 338 See \autoref{sec:vm-fault}.
|
| A D | ipc.tex | 117 does not have the Read right will raise a fault, see \autoref{sec:faults}. This
|
| /seL4-master/src/api/ |
| A D | faults.c | 120 seL4_Fault_t fault = receiver->tcbFault; in handleFaultReply() local
122 switch (seL4_Fault_get_seL4_FaultType(fault)) { in handleFaultReply()
143 if (seL4_Fault_DebugException_get_exceptionReason(fault) != seL4_SingleStep) { in handleFaultReply()
187 return Arch_handleFaultReply(receiver, sender, seL4_Fault_get_seL4_FaultType(fault)); in handleFaultReply()
|
| /seL4-master/src/kernel/ |
| A D | faulthandler.c | 56 seL4_Fault_t fault = current_fault; in handleFault() local
60 handleDoubleFault(tptr, fault); in handleFault()
|
| /seL4-master/src/arch/arm/ |
| A D | config.cmake | 106 intercepted and delivered to the VM Monitor as fault messages"
170 cause some fault types to print out a message in the kernel. \
171 WARNING: Printing fault information is slow and rapid faults \
172 can result in all time spent in the kernel printing fault \
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 789 seL4_Word fault; in seL4_VMEnter() local
794 x86_sys_send_recv(seL4_SysVMEnter, 0, &badge, 0, &fault, &mr0, MCS_COND(0, &mr1)); in seL4_VMEnter()
800 if (!fault && sender) { in seL4_VMEnter()
803 return fault; in seL4_VMEnter()
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 558 seL4_Word fault; in seL4_VMEnter() local
565 x64_sys_send_recv(seL4_SysVMEnter, 0, &badge, 0, &fault, &mr0, &mr1, &mr2, &mr3, 0); in seL4_VMEnter()
571 if (!fault && sender) { in seL4_VMEnter()
574 return fault; in seL4_VMEnter()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1212 word_t addr, fault; in handleVMFault() local
1218 fault = getHSR() & 0x3ffffff; in handleVMFault()
1221 fault = getDFSR(); in handleVMFault()
1232 if (isDebugFault(fault)) { in handleVMFault()
1237 current_fault = seL4_Fault_VMFault_new(addr, fault, false); in handleVMFault()
1242 word_t pc, fault; in handleVMFault() local
1249 fault = getHSR() & 0x3ffffff; in handleVMFault()
1251 fault = getIFSR(); in handleVMFault()
1255 if (isDebugFault(fault)) { in handleVMFault()
1269 current_fault = seL4_Fault_VMFault_new(pc, fault, true); in handleVMFault()
|
| /seL4-master/ |
| A D | gdb-macros | 121 printf "unknown lookup fault\n"
137 Prints the last fault
421 printf "lookup fault guard mismatch\n"
426 printf "lookup fault depth mismatch\n"
|
| A D | config.cmake | 427 "On a double fault the kernel can try and print out the users stack to aid \
|
| /seL4-master/include/object/ |
| A D | structures_32.bf | 240 -- Lookup fault: size = 8 bytes
|
| A D | structures_64.bf | 328 -- Lookup fault: size = 16 bytes
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 938 word_t addr, fault; in handleVMFault() local
941 fault = getDFSR(); in handleVMFault()
949 current_fault = seL4_Fault_VMFault_new(addr, fault, false); in handleVMFault()
954 word_t pc, fault; in handleVMFault() local
957 fault = getIFSR(); in handleVMFault()
964 current_fault = seL4_Fault_VMFault_new(pc, fault, true); in handleVMFault()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 567 uint32_t fault; in handleVMFault() local
570 fault = getRegister(thread, Error); in handleVMFault()
574 current_fault = seL4_Fault_VMFault_new(addr, fault, false); in handleVMFault()
578 current_fault = seL4_Fault_VMFault_new(addr, fault, true); in handleVMFault()
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.bf | 239 ---- IA32 specific fault types
|
| /seL4-master/include/arch/arm/arch/32/mode/object/ |
| A D | structures.bf | 184 ---- Arm specific fault types
|