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

12

/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Diospace.h16 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps,
18 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps,
21 exception_t decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap);
34 static inline exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument
40 static inline exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument
51 static inline exception_t decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap) argument
H A Dinterrupt.h15 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
H A Dobjecttype.h23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length,
/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dinterrupt.h20 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
/seL4-test-master/kernel/src/arch/x86/object/
H A Dioport.c104 word_t invLabel,
121 if (invLabel != X86IOPortControlIssue) {
170 static exception_t invokeX86PortIn(word_t invLabel, uint16_t port, bool_t call) argument
175 switch (invLabel) {
216 static exception_t invokeX86PortOut(word_t invLabel, uint16_t port, uint32_t data) argument
218 switch (invLabel) {
234 word_t invLabel,
246 if (invLabel == X86IOPortIn8 || invLabel == X86IOPortIn16 || invLabel
103 decodeX86PortControlInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
233 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 ) argument
[all...]
H A Dobjecttype.c505 word_t invLabel,
518 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
520 return decodeX86PortControlInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
522 return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, excaps, call, buffer);
525 return decodeX86IOSpaceInvocation(invLabel, cap);
527 return decodeX86IOPTInvocation(invLabel, length, slot, cap, excaps, buffer);
531 return decodeX86VCPUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
536 return decodeX86EPTInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
539 return Mode_decodeInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
504 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 Dinterrupt.c69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, argument
87 if (invLabel != X86IRQIssueIRQHandlerIOAPIC && invLabel != X86IRQIssueIRQHandlerMSI) {
133 switch (invLabel) {
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dioport.h18 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
20 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
H A Dinterrupt.h14 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
H A Diospace.h37 exception_t decodeX86IOPTInvocation(word_t invLabel, word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps,
40 exception_t decodeX86IOSpaceInvocation(word_t invLabel, cap_t cap);
H A Dobjecttype.h23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
34 exception_t Mode_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dept.h47 exception_t decodeX86EPTInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap,
49 exception_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
51 exception_t decodeX86EPTPTInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
53 exception_t decodeX86EPTPageMap(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
H A Dvspace.h95 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap,
104 exception_t decodeX86MMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
107 exception_t decodeX86ModeMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
110 exception_t decodeIA32PageDirectoryInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap,
114 exception_t decodeX86FrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
/seL4-test-master/kernel/include/object/
H A Dinterrupt.h15 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length,
19 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq,
H A Dobjecttype.h29 exception_t decodeInvocation(word_t invLabel, word_t length,
40 exception_t decodeInvocation(word_t invLabel, word_t length,
H A Duntyped.h30 exception_t decodeUntypedInvocation(word_t invLabel, word_t length,
H A Dcnode.h20 exception_t decodeCNodeInvocation(word_t invLabel, word_t length,
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c33 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument
37 if (invLabel == RISCVIRQIssueIRQHandlerTrigger) {
/seL4-test-master/kernel/src/object/
H A Dinterrupt.c23 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length, argument
27 if (invLabel == IRQIssueIRQHandler) {
75 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, excaps, buffer);
87 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq, argument
90 switch (invLabel) {
H A Dobjecttype.c615 exception_t decodeInvocation(word_t invLabel, word_t length, argument
620 exception_t decodeInvocation(word_t invLabel, word_t length,
627 return Arch_decodeInvocation(invLabel, length, capIndex,
716 return decodeTCBInvocation(invLabel, length, cap,
728 return decodeDomainInvocation(invLabel, length, excaps, buffer);
739 return decodeCNodeInvocation(invLabel, length, cap, excaps, buffer);
742 return decodeUntypedInvocation(invLabel, length, slot, cap, excaps,
746 return decodeIRQControlInvocation(invLabel, length, slot,
750 return decodeIRQHandlerInvocation(invLabel,
761 return decodeSchedControlInvocation(invLabel, ca
[all...]
/seL4-test-master/kernel/src/arch/arm/object/
H A Dinterrupt.c21 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument
25 if (invLabel == ARMIRQIssueIRQHandlerTrigger) {
81 } else if (invLabel == ARMIRQIssueIRQHandlerTriggerCore) {
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h46 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c263 word_t invLabel,
280 if (invLabel == X86EPTPDPTUnmap) {
289 if (invLabel != X86EPTPDPTMap) {
367 word_t invLabel,
378 return decodeX86EPTPDPTInvocation(invLabel, length, cte, cap, excaps, buffer);
380 return decodeX86EPTPDInvocation(invLabel, length, cte, cap, excaps, buffer);
382 return decodeX86EPTPTInvocation(invLabel, length, cte, cap, excaps, buffer);
468 word_t invLabel,
485 if (invLabel == X86EPTPDUnmap) {
494 if (invLabel !
262 decodeX86EPTPDPTInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
366 decodeX86EPTInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
467 decodeX86EPTPDInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
655 decodeX86EPTPTInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
790 decodeX86EPTPageMap( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c194 word_t invLabel,
207 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
193 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
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1432 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1434 switch (invLabel) {
1469 static exception_t performVSpaceFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, argument
1478 doFlush(invLabel, start, end, pstart);
1486 doFlush(invLabel, start, end, pstart);
1629 static exception_t performPageFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, argument
1642 doFlush(invLabel, start, end, pstart);
1649 doFlush(invLabel, start, end, pstart);
1689 static exception_t decodeARMVSpaceRootInvocation(word_t invLabel, unsigned int length, argument
1700 switch (invLabel) {
1788 decodeARMPageUpperDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1876 decodeARMPageDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1969 decodeARMPageTableInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
2062 decodeARMFrameInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
2270 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
[all...]

Completed in 82 milliseconds

12