Home
last modified time | relevance | path

Searched defs:label (Results 1 – 11 of 11) sorted by relevance

/seL4-master/src/arch/arm/object/
A Dsmmu.c21 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 Dvcpu.c471 word_t label, in decodeARMVCPUInvocation()
/seL4-master/src/object/
A Dschedcontrol.c162 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, word_t *buffer) in decodeSchedControlInvocation()
A Dschedcontext.c251 exception_t decodeSchedContextInvocation(word_t label, cap_t cap, word_t *buffer) in decodeSchedContextInvocation()
/seL4-master/src/arch/x86/64/object/
A Dobjecttype.c318 word_t label, in Mode_decodeInvocation()
/seL4-master/src/api/
A Dfaults.c118 word_t label = seL4_MessageInfo_get_label(tag); in handleFaultReply() local
/seL4-master/src/arch/arm/64/object/
A Dobjecttype.c474 exception_t Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr,
/seL4-master/src/arch/riscv/object/
A Dobjecttype.c292 word_t label, in Arch_decodeInvocation()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c1135 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 Dvspace.c676 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 Dparse_doxygen_xml.py410 def gen_label(self, label): argument
583 def gen_label(self, label): argument

Completed in 30 milliseconds