/seL4-mcs-10.1.1/include/32/mode/api/ |
H A D | ipc_buffer.h | 21 mode_parseTimeArg(word_t i, word_t *buffer) argument 27 mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
|
/seL4-mcs-10.1.1/include/64/mode/api/ |
H A D | ipc_buffer.h | 20 mode_parseTimeArg(word_t i, word_t *buffer) argument 26 mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
|
/seL4-mcs-10.1.1/src/arch/riscv/object/ |
H A D | interrupt.c | 31 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
/seL4-mcs-10.1.1/src/arch/x86/32/machine/ |
H A D | registerset.c | 58 seL4_IPCBuffer *buffer = (seL4_IPCBuffer *) lookupIPCBuffer(false, NODE_STATE(ksCurThread)); local
|
/seL4-mcs-10.1.1/include/arch/arm/arch/object/ |
H A D | iospace.h | 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
|
/seL4-mcs-10.1.1/src/benchmark/ |
H A D | benchmark_utilisation.c | 23 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0])); local
|
/seL4-mcs-10.1.1/src/arch/arm/object/ |
H A D | interrupt.c | 26 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
H A D | vcpu.c | 549 decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t* buffer) argument 588 decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t* buffer) argument 623 decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t* buffer) argument [all...] |
/seL4-mcs-10.1.1/src/object/ |
H A D | schedcontrol.c | 91 decodeSchedControl_Configure(word_t length, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 162 decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, word_t *buffer) argument
|
H A D | interrupt.c | 28 decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
H A D | schedcontext.c | 154 setConsumed(sched_context_t *sc, word_t *buffer) argument 162 invokeSchedContext_Consumed(sched_context_t *sc, word_t *buffer) argument 169 invokeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument 206 decodeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument 232 decodeSchedContextInvocation(word_t label, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument [all...] |
H A D | objecttype.c | 569 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, bool_t canDonate, word_t *buffer) argument
|
H A D | untyped.c | 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 | cnode.c | 41 decodeCNodeInvocation(word_t invLabel, word_t length, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 855 getReceiveSlots(tcb_t *thread, word_t *buffer) argument 891 loadCapTransfer(word_t *buffer) argument [all...] |
/seL4-mcs-10.1.1/src/arch/arm/32/object/ |
H A D | objecttype.c | 550 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
|
/seL4-mcs-10.1.1/src/arch/arm/64/object/ |
H A D | objecttype.c | 393 Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
|
/seL4-mcs-10.1.1/src/arch/x86/object/ |
H A D | interrupt.c | 77 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument [all...] |
/seL4-mcs-10.1.1/manual/parts/ |
H A D | bootup.tex | |
/seL4-mcs-10.1.1/src/api/ |
H A D | syscall.c | 278 word_t *buffer; local
|
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 233 performIA32PageDirectoryGetStatusBits(lookupPTSlot_ret_t ptSlot, lookupPDSlot_ret_t pdSlot, word_t *buffer) argument 239 setMR(NODE_STATE(ksCurThread), buffer, 0, pde_pde_large_ptr_get_accessed(pdSlot.pdSlot)); local 240 setMR(NODE_STATE(ksCurThread), buffer, 1, pde_pde_large_ptr_get_dirty(pdSlot.pdSlot)); local 246 setMR(NODE_STATE(ksCurThread), buffer, 0, pte_ptr_get_accessed(ptSlot.ptSlot)); local 247 setMR(NODE_STATE(ksCurThread), buffer, 1, pte_ptr_get_dirty(ptSlot.ptSlot)); local
|
/seL4-mcs-10.1.1/src/arch/x86/kernel/ |
H A D | ept.c | 820 decodeX86EPTPageMap( word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer) argument [all...] |
/seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
H A D | vspace.c | 689 decodeRISCVPageTableInvocation(word_t label, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 797 decodeRISCVFrameInvocation(word_t label, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 991 decodeRISCVMMUInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument [all...] |
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1354 decodeX64PDPTInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
|
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2195 decodeARMPageDirectoryInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 2306 decodeARMPageTableInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 2430 decodeARMFrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 2819 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument [all...] |
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1729 decodeARMPageGlobalDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 1828 decodeARMPageUpperDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 1918 decodeARMPageDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 2012 decodeARMPageTableInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 2106 decodeARMFrameInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 2387 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...] |