Searched defs:label (Results 1 – 11 of 11) sorted by relevance
/seL4-master/src/arch/arm/object/ |
A D | smmu.c | 21 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMSIDControlInvocation() 96 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMSIDInvocation() 182 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMCBControlInvocation() 246 exception_t decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMCBInvocation()
|
A D | vcpu.c | 471 word_t label, in decodeARMVCPUInvocation()
|
/seL4-master/src/object/ |
A D | schedcontrol.c | 162 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, word_t *buffer) in decodeSchedControlInvocation()
|
A D | schedcontext.c | 251 exception_t decodeSchedContextInvocation(word_t label, cap_t cap, word_t *buffer) in decodeSchedContextInvocation()
|
/seL4-master/src/arch/x86/64/object/ |
A D | objecttype.c | 318 word_t label, in Mode_decodeInvocation()
|
/seL4-master/src/api/ |
A D | faults.c | 118 word_t label = seL4_MessageInfo_get_label(tag); in handleFaultReply() local
|
/seL4-master/src/arch/arm/64/object/ |
A D | objecttype.c | 474 exception_t Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr,
|
/seL4-master/src/arch/riscv/object/ |
A D | objecttype.c | 292 word_t label, in Arch_decodeInvocation()
|
/seL4-master/src/arch/x86/64/kernel/ |
A D | vspace.c | 1135 word_t label, in decodeX64PageDirectoryInvocation() 1299 word_t label, in decodeX64PDPTInvocation() 1405 word_t label, in decodeX86ModeMMUInvocation() 1506 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage()
|
/seL4-master/src/arch/riscv/kernel/ |
A D | vspace.c | 676 static exception_t decodeRISCVPageTableInvocation(word_t label, word_t length, in decodeRISCVPageTableInvocation() 794 static exception_t decodeRISCVFrameInvocation(word_t label, word_t length, in decodeRISCVFrameInvocation() 926 exception_t decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr, in decodeRISCVMMUInvocation()
|
/seL4-master/manual/tools/ |
A D | parse_doxygen_xml.py | 410 def gen_label(self, label): argument 583 def gen_label(self, label): argument
|
Completed in 30 milliseconds