/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); 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 D | interrupt.h | 20 cte_t *srcSlot, extra_caps_t excaps,
|
H A D | objecttype.h | 31 extra_caps_t excaps, bool_t call, word_t *buffer);
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 19 cte_t *srcSlot, extra_caps_t excaps,
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/ |
H A D | interrupt.h | 20 cte_t *srcSlot, extra_caps_t excaps,
|
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);
|
H A D | iospace.h | 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);
|
H A D | objecttype.h | 29 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 D | interrupt.c | 32 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 D | interrupt.h | 21 cte_t *srcSlot, extra_caps_t excaps, 25 extra_caps_t excaps);
|
H A D | tcb.h | 90 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 D | untyped.h | 37 extra_caps_t excaps, bool_t call,
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 27 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 D | iospace.c | 157 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 D | ept.h | 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);
|
H A D | vspace.h | 109 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 D | interrupt.c | 30 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 D | tcb.c | 699 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 D | untyped.c | 33 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 D | objecttype.c | 520 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 D | tcb.c | 51 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t excaps) argument 57 rootSlot = excaps.excaprefs[0];
|
H A D | objecttype.c | 517 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 D | iospace.c | 185 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 D | ept.c | 285 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 D | objecttype.c | 208 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
|