/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | iospace.h | 16 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 D | interrupt.h | 15 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
H A D | objecttype.h | 23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 20 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 104 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 D | objecttype.c | 505 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 D | interrupt.c | 69 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 D | ioport.h | 18 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 D | interrupt.h | 14 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
H A D | iospace.h | 37 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 D | objecttype.h | 23 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 D | ept.h | 47 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 D | vspace.h | 95 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 D | interrupt.h | 15 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length, 19 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq,
|
H A D | objecttype.h | 29 exception_t decodeInvocation(word_t invLabel, word_t length, 40 exception_t decodeInvocation(word_t invLabel, word_t length,
|
H A D | untyped.h | 30 exception_t decodeUntypedInvocation(word_t invLabel, word_t length,
|
H A D | cnode.h | 20 exception_t decodeCNodeInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 33 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument 37 if (invLabel == RISCVIRQIssueIRQHandlerTrigger) {
|
/seL4-test-master/kernel/src/object/ |
H A D | interrupt.c | 23 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 D | objecttype.c | 615 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 D | interrupt.c | 21 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 D | vspace.h | 46 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 263 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 D | objecttype.c | 194 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 D | vspace.c | 1432 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...] |