| /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, argument
|
| H A D | schedcontext.c | 33 decodeSchedContext_UnbindObject(sched_context_t *sc, extra_caps_t extraCaps) argument
88 decodeSchedContext_Bind(sched_context_t *sc, extra_caps_t extraCaps) argument
232 decodeSchedContextInvocation(word_t label, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/64/object/ |
| H A D | objecttype.c | 328 Mode_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t extraCaps, 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/riscv/object/ |
| H A D | objecttype.c | 264 Arch_decodeInvocation( word_t label, unsigned int 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/arm/object/ |
| H A D | vcpu.c | 734 decodeVCPUSetTCB(cap_t cap, extra_caps_t extraCaps) argument
706 decodeARMVCPUInvocation( word_t label, unsigned int 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/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 | 1187 decodeX64PageDirectoryInvocation( word_t label, word_t length, cte_t* cte, cap_t cap, extra_caps_t extraCaps, word_t* buffer ) argument
1354 decodeX64PDPTInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1462 decodeX86ModeMMUInvocation( word_t label, word_t length, cptr_t cptr, cte_t* cte, cap_t cap, extra_caps_t extraCaps, word_t* buffer ) argument
|
| /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...] |