Searched refs:exception_t (Results 1 - 25 of 70) sorted by relevance

123

/seL4-l4v-10.1.1/seL4/include/model/
H A Dpreemption.h16 exception_t preemptionPoint(void);
/seL4-l4v-10.1.1/seL4/include/object/
H A Dcnode.h25 exception_t decodeCNodeInvocation(word_t invLabel, word_t length,
28 exception_t invokeCNodeRevoke(cte_t *destSlot);
29 exception_t invokeCNodeDelete(cte_t *destSlot);
30 exception_t invokeCNodeCancelBadgedSends(cap_t cap);
31 exception_t invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
32 exception_t invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
33 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1,
35 exception_t invokeCNodeSaveCaller(cte_t *destSlot);
40 exception_t cteRevoke(cte_t *slot);
41 exception_t cteDelet
[all...]
H A Dcap.h17 exception_t status;
H A Dtcb.h89 exception_t decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap,
92 exception_t decodeCopyRegisters(cap_t cap, word_t length,
94 exception_t decodeReadRegisters(cap_t cap, word_t length, bool_t call,
96 exception_t decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer);
97 exception_t decodeTCBConfigure(cap_t cap, word_t length,
99 exception_t decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
100 exception_t decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
101 exception_t decodeSetSchedParams(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
102 exception_t decodeSetIPCBuffer(cap_t cap, word_t length,
104 exception_t decodeSetSpac
[all...]
H A Dinterrupt.h20 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length,
23 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot);
24 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq,
H A Dobjecttype.h33 exception_t decodeInvocation(word_t invLabel, word_t length,
37 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge,
40 exception_t performInvocation_Notification(notification_t *ntfn,
42 exception_t performInvocation_Reply(tcb_t *thread, cte_t *slot);
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dvspace.h18 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr);
H A Dfaulthandler.h17 exception_t sendFaultIPC(tcb_t *tptr);
H A Dcspace.h20 exception_t status;
26 exception_t status;
33 exception_t status;
39 exception_t status;
45 exception_t status;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Diospace.h21 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
22 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
23 exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot);
24 exception_t decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap);
38 static inline exception_t
44 static inline exception_t
50 static inline exception_t
56 static inline exception_t
H A Dvcpu.h88 exception_t decodeARMVCPUInvocation(
102 exception_t decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t* buffer);
103 exception_t decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t* buffer);
104 exception_t decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t* buffer);
105 exception_t decodeVCPUSetTCB(cap_t cap, extra_caps_t extraCaps);
107 exception_t invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value);
108 exception_t invokeVCPUReadReg(vcpu_t *vcpu, word_t field, bool_t call);
109 exception_t invokeVCPUInjectIRQ(vcpu_t *vcpu, unsigned long index, virq_t virq);
110 exception_t invokeVCPUSetTCB(vcpu_t *vcpu, tcb_t *tcb);
H A Dinterrupt.h19 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
23 static inline exception_t
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/object/
H A Dinterrupt.h18 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
21 exception_t Arch_checkIRQ(word_t irq_w);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Dinterrupt.h19 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
23 exception_t Arch_checkIRQ(word_t irq_w);
H A Dtcb.h19 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t extraCaps);
H A Diospace.h35 exception_t status;
42 exception_t decodeX86IOPTInvocation(word_t invLabel, word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
43 exception_t decodeX86IOMapInvocation(word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
44 exception_t decodeX86IOSpaceInvocation(word_t invLabel, cap_t cap);
45 exception_t performX86IOUnMapInvocation(cap_t cap, cte_t *ctSlot);
H A Dioport.h23 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t* buffer);
24 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer);
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/
H A Dinterrupt.c24 exception_t
30 exception_t
H A Dtcb.c32 exception_t CONST
/seL4-l4v-10.1.1/seL4/include/api/
H A Dsyscall.h22 exception_t handleSyscall(syscall_t syscall);
23 exception_t handleInterruptEntry(void);
24 exception_t handleUnknownSyscall(word_t w);
25 exception_t handleUserLevelFault(word_t w_a, word_t w_b);
26 exception_t handleVMFaultEvent(vm_fault_type_t vm_faultType);
H A Dfailures.h27 typedef word_t exception_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/
H A Dvspace.h49 exception_t status;
57 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType);
63 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap);
66 exception_t decodeRISCVMMUInvocation(word_t label, unsigned int length, cptr_t cptr,
69 exception_t performPageTableInvocationMap(cap_t cap, cte_t *ctSlot,
71 exception_t performPageTableInvocationUnmap(cap_t cap, cte_t *ctSlot);
72 exception_t performPageInvocationMapPTE(cap_t cap, cte_t *ctSlot,
74 exception_t performPageInvocationRemapPTE(pte_t pte, pte_t *base);
75 exception_t performPageInvocationUnmap(cap_t cap, cte_t *ctSlot);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dept.h24 exception_t status;
31 exception_t status;
38 exception_t status;
43 exception_t status;
54 exception_t decodeX86EPTInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
55 exception_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
56 exception_t decodeX86EPTPTInvocation(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
57 exception_t decodeX86EPTPageMap(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
58 exception_t performX86EPTPageInvocationUnmap(cap_t cap, cte_t *ctSlot);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/
H A Dvspace.h19 exception_t status;
/seL4-l4v-10.1.1/seL4/src/model/
H A Dpreemption.c20 exception_t

Completed in 61 milliseconds

123