/seL4-l4v-10.1.1/seL4/include/model/ |
H A D | preemption.h | 16 exception_t preemptionPoint(void);
|
/seL4-l4v-10.1.1/seL4/include/object/ |
H A D | cnode.h | 25 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 D | cap.h | 17 exception_t status;
|
H A D | tcb.h | 89 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 D | interrupt.h | 20 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 D | objecttype.h | 33 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 D | vspace.h | 18 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr);
|
H A D | faulthandler.h | 17 exception_t sendFaultIPC(tcb_t *tptr);
|
H A D | cspace.h | 20 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 D | iospace.h | 21 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 D | vcpu.h | 88 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 D | interrupt.h | 19 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 D | interrupt.h | 18 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 D | interrupt.h | 19 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, 23 exception_t Arch_checkIRQ(word_t irq_w);
|
H A D | tcb.h | 19 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t extraCaps);
|
H A D | iospace.h | 35 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 D | ioport.h | 23 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 D | interrupt.c | 24 exception_t 30 exception_t
|
H A D | tcb.c | 32 exception_t CONST
|
/seL4-l4v-10.1.1/seL4/include/api/ |
H A D | syscall.h | 22 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 D | failures.h | 27 typedef word_t exception_t; typedef
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 49 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 D | ept.h | 24 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 D | vspace.h | 19 exception_t status;
|
/seL4-l4v-10.1.1/seL4/src/model/ |
H A D | preemption.c | 20 exception_t
|