/seL4-mcs-10.1.1/manual/parts/ |
H A D | intro.tex | |
H A D | io.tex | |
H A D | ipc.tex | |
H A D | notifications.tex | |
H A D | objects.tex | [all...] |
H A D | cspace.tex | [all...] |
H A D | threads.tex | [all...] |
H A D | bootup.tex | |
H A D | vspace.tex | |
H A D | api.tex | |
/seL4-mcs-10.1.1/src/object/ |
H A D | schedcontrol.c | 162 decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, argument
|
H A D | schedcontext.c | 232 decodeSchedContextInvocation(word_t label, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
|
/seL4-mcs-10.1.1/src/api/ |
H A D | faults.c | 126 word_t label = seL4_MessageInfo_get_label(tag); local
|
/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, 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 | 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, argument 797 decodeRISCVFrameInvocation(word_t label, unsigned int length, argument 991 decodeRISCVMMUInvocation(word_t label, unsigned int length, cptr_t cptr, argument [all...] |
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1575 decodeX86ModeMapRemapPage(word_t label, vm_page_size_ argument 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 [all...] |