| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | faulthandler.c | 22 seL4_Fault_t fault = current_fault; local
26 handleDoubleFault(tptr, fault);
75 printf("null fault");
78 printf("cap fault in %s phase at address %p",
83 printf("vm fault on %s at address %p with status %p",
98 printf("unknown fault");
104 /* The second fault, ex2, is stored in the global current_fault */
|
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | threads.tex | 114 A thread's actions may result in a fault. Faults are delivered to the
116 The fault type is specified in the message label and is one of:
118 or seL4\_Fault\_NullFault (indicating no fault occurred and this is a normal IPC message).
121 thread. This means that to send a fault message the fault endpoint
126 Capability faults may occur in two places. Firstly, a capability fault
131 on which the fault occurred may be the capability being invoked or an
134 Secondly, a capability fault can occur when \apifunc{seL4\_Recv}{sel4_recv} or \apifunc{seL4\_NBRecv}{sel4_nbrecv}
138 Replying to the fault IPC will restart the faulting thread. The contents of the
148 In receive phase (1 if the fault happene
[all...] |
| H A D | io.tex | 141 \obj{IOSpace} and \obj{VSpace} fault handling differ significantly.
147 aborted; the device driver must correct the cause of the fault and retry
|
| H A D | objects.tex | 178 \obj{Endpoint} or \obj{Notification} capabilities, raising a fault (see section \ref{sec:faults}) when
204 capabilities, raising a fault (see section \ref{sec:faults}) when attempted
|
| H A D | vspace.tex | 343 See \autoref{sec:vm-fault}.
|
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | faults.c | 125 seL4_Fault_t fault = receiver->tcbFault; local
127 switch (seL4_Fault_get_seL4_FaultType(fault)) {
143 if (seL4_Fault_DebugException_get_exceptionReason(fault) != seL4_SingleStep) {
187 return Arch_handleFaultReply(receiver, sender, seL4_Fault_get_seL4_FaultType(fault));
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 510 seL4_Word fault; local
515 x86_sys_send_recv(seL4_SysVMEnter, 0, &badge, 0, &fault, &mr0, &mr1);
519 if (!fault && sender) {
522 return fault;
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 309 seL4_Word fault; local
316 x64_sys_send_recv(seL4_SysVMEnter, 0, &badge, 0, &fault, &mr0, &mr1, &mr2, &mr3);
322 if (!fault && sender) {
325 return fault;
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1325 word_t addr, fault; local
1331 fault = getHSR() & 0x3ffffff;
1334 fault = getDFSR();
1339 * We have to test the fault-status bits in the IFSR/DFSR to determine
1345 if (isDebugFault(fault)) {
1350 current_fault = seL4_Fault_VMFault_new(addr, fault, false);
1355 word_t pc, fault; local
1362 fault = getHSR() & 0x3ffffff;
1364 fault = getIFSR();
1368 if (isDebugFault(fault)) {
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 976 word_t addr, fault; local
979 fault = getDFSR();
987 current_fault = seL4_Fault_VMFault_new(addr, fault, false);
992 word_t pc, fault; local
995 fault = getIFSR();
1002 current_fault = seL4_Fault_VMFault_new(pc, fault, true);
1007 fail("Invalid VM fault type");
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 571 uint32_t fault; local
574 fault = getRegister(thread, Error);
578 current_fault = seL4_Fault_VMFault_new(addr, fault, false);
582 current_fault = seL4_Fault_VMFault_new(addr, fault, true);
586 fail("Invalid VM fault type");
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
| H A D | testEncode.sml | 402 Example that is too big (segmentation fault on trout).
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Posix.sml | 39 val fault : syserror value
637 and fault = fromWord(getConst 11) value
682 (fault, "fault"),
|
| H A D | TopLevelPolyML.sml | 1417 | fault => fault
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_seq_monadScript.sml | 746 errorT "exclusive_monitors_pass: alignment fault"
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/ |
| H A D | arm_seq_monadScript.sml | 752 errorT "exclusive_monitors_pass: alignment fault"
|