Searched refs:excaps (Results 1 - 25 of 38) sorted by relevance

12

/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);
39 decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
45 decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
H A Dinterrupt.h20 cte_t *srcSlot, extra_caps_t excaps,
H A Dobjecttype.h31 extra_caps_t excaps, bool_t call, word_t *buffer);
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/object/
H A Dinterrupt.h19 cte_t *srcSlot, extra_caps_t excaps,
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Dinterrupt.h20 cte_t *srcSlot, extra_caps_t excaps,
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);
H A Diospace.h42 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);
H A Dobjecttype.h29 exception_t Arch_decodeInvocation(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);
39 exception_t Mode_decodeInvocation(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.c32 cte_t *srcSlot, extra_caps_t excaps,
31 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
/seL4-l4v-10.1.1/seL4/include/object/
H A Dinterrupt.h21 cte_t *srcSlot, extra_caps_t excaps,
25 extra_caps_t excaps);
H A Dtcb.h90 cte_t* slot, extra_caps_t excaps, bool_t call,
93 extra_caps_t excaps, word_t *buffer);
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);
103 cte_t* slot, extra_caps_t excaps, word_t *buffer);
105 cte_t* slot, extra_caps_t excaps, word_t *buffer);
107 extra_caps_t excaps, word_t *buffer);
108 exception_t decodeBindNotification(cap_t cap, extra_caps_t excaps);
H A Duntyped.h37 extra_caps_t excaps, bool_t call,
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dinterrupt.c27 cte_t *srcSlot, extra_caps_t excaps,
31 if (length < 4 || excaps.excaprefs[0] == NULL) {
48 cap_t cnodeCap = excaps.excaprefs[0]->cap;
26 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
H A Diospace.c157 extra_caps_t excaps,
178 if (excaps.excaprefs[0] == NULL || length < 1) {
190 io_space = excaps.excaprefs[0]->cap;
261 extra_caps_t excaps,
276 if (excaps.excaprefs[0] == NULL || length < 2) {
296 io_space = excaps.excaprefs[0]->cap;
152 decodeARMIOPTInvocation( word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
256 decodeARMIOMapInvocation( word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dept.h54 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);
H A Dvspace.h109 cap_t cap, extra_caps_t excaps, word_t *buffer);
112 cap_t cap, extra_caps_t excaps, word_t *buffer);
114 exception_t decodeIA32PageDirectoryInvocation(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
117 exception_t decodeX86FrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dinterrupt.c30 cte_t *srcSlot, extra_caps_t excaps,
41 if (length < 3 || excaps.excaprefs[0] == NULL) {
50 cnodeCap = excaps.excaprefs[0]->cap;
81 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, excaps, buffer);
96 extra_caps_t excaps)
108 if (excaps.excaprefs[0] == NULL) {
112 ntfnCap = excaps.excaprefs[0]->cap;
113 slot = excaps.excaprefs[0];
29 decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
95 decodeIRQHandlerInvocation(word_t invLabel, irq_t irq, extra_caps_t excaps) argument
H A Dtcb.c699 cte_t* slot, extra_caps_t excaps, bool_t call,
714 return decodeCopyRegisters(cap, length, excaps, buffer);
728 return decodeTCBConfigure(cap, length, slot, excaps, buffer);
731 return decodeSetPriority(cap, length, excaps, buffer);
734 return decodeSetMCPriority(cap, length, excaps, buffer);
737 return decodeSetSchedParams(cap, length, excaps, buffer);
740 return decodeSetIPCBuffer(cap, length, slot, excaps, buffer);
743 return decodeSetSpace(cap, length, slot, excaps, buffer);
746 return decodeBindNotification(cap, excaps);
759 return decodeSetEPTRoot(cap, excaps);
698 decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, cte_t* slot, extra_caps_t excaps, bool_t call, word_t *buffer) argument
795 decodeCopyRegisters(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1023 decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1060 decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1097 decodeSetSchedParams(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1144 decodeSetIPCBuffer(cap_t cap, word_t length, cte_t* slot, extra_caps_t excaps, word_t *buffer) argument
1189 decodeSetSpace(cap_t cap, word_t length, cte_t* slot, extra_caps_t excaps, word_t *buffer) argument
1266 decodeDomainInvocation(word_t invLabel, word_t length, extra_caps_t excaps, word_t *buffer) argument
1311 decodeBindNotification(cap_t cap, extra_caps_t excaps) argument
[all...]
H A Duntyped.c33 cap_t cap, extra_caps_t excaps,
58 if (length < 6 || excaps.excaprefs[0] == NULL) {
72 rootSlot = excaps.excaprefs[0];
113 nodeCap = excaps.excaprefs[0]->cap;
115 cap_t rootCap = excaps.excaprefs[0]->cap;
32 decodeUntypedInvocation(word_t invLabel, word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer) argument
H A Dobjecttype.c520 extra_caps_t excaps, bool_t block, bool_t call,
525 slot, cap, excaps, call, buffer);
586 slot, excaps, call, buffer);
589 return decodeDomainInvocation(invLabel, length, excaps, buffer);
592 return decodeCNodeInvocation(invLabel, length, cap, excaps, buffer);
595 return decodeUntypedInvocation(invLabel, length, slot, cap, excaps,
600 excaps, buffer);
604 cap_irq_handler_cap_get_capIRQ(cap), excaps);
518 decodeInvocation(word_t invLabel, word_t length, cptr_t capIndex, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t block, bool_t call, word_t *buffer) argument
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dtcb.c51 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t excaps) argument
57 rootSlot = excaps.excaprefs[0];
H A Dobjecttype.c517 extra_caps_t excaps,
525 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
527 return decodeX86PortControlInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
529 return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, excaps, call, buffer);
534 return decodeX86IOPTInvocation(invLabel, length, slot, cap, excaps, buffer);
538 return decodeX86VCPUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
543 return decodeX86EPTInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
546 return Mode_decodeInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
511 Arch_decodeInvocation( 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 ) argument
H A Diospace.c185 extra_caps_t excaps,
209 if (excaps.excaprefs[0] == NULL || length < 1) {
215 io_space = excaps.excaprefs[0]->cap;
314 extra_caps_t excaps,
329 if (excaps.excaprefs[0] == NULL || length < 2) {
349 io_space = excaps.excaprefs[0]->cap;
180 decodeX86IOPTInvocation( word_t invLabel, word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
310 decodeX86IOMapInvocation( word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c285 extra_caps_t excaps,
313 if (length < 2 || excaps.excaprefs[0] == NULL) {
332 pml4Cap = excaps.excaprefs[0]->cap;
391 extra_caps_t excaps,
397 return decodeX86EPTPDPTInvocation(invLabel, length, cte, cap, excaps, buffer);
399 return decodeX86EPTPDInvocation(invLabel, length, cte, cap, excaps, buffer);
401 return decodeX86EPTPTInvocation(invLabel, length, cte, cap, excaps, buffer);
495 extra_caps_t excaps,
523 if (length < 2 || excaps.excaprefs[0] == NULL) {
540 pml4Cap = excaps
280 decodeX86EPTPDPTInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
385 decodeX86EPTInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
490 decodeX86EPTPDInvocation( word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
683 decodeX86EPTPTInvocation( word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
820 decodeX86EPTPageMap( word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/object/
H A Dobjecttype.c208 extra_caps_t excaps,
216 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
202 Mode_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument

Completed in 74 milliseconds

12