Home
last modified time | relevance | path

Searched refs:rightsFromWord (Results 1 – 9 of 9) sorted by relevance

/seL4-master/include/api/
A Dtypes.h42 static inline seL4_CapRights_t CONST rightsFromWord(word_t w) in rightsFromWord() function
/seL4-master/src/object/
A Dcnode.c124 cap_rights = rightsFromWord(getSyscallArg(4, buffer)); in decodeCNodeInvocation()
143 cap_rights = rightsFromWord(getSyscallArg(4, buffer)); in decodeCNodeInvocation()
/seL4-master/src/arch/arm/object/
A Diospace.c311 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer)); in decodeARMIOMapInvocation()
/seL4-master/src/arch/x86/object/
A Diospace.c376 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer)); in decodeX86IOMapInvocation()
/seL4-master/src/arch/x86/kernel/
A Dept.c849 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); in decodeX86EPTPageMap()
A Dvspace.c1024 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); in decodeX86FrameInvocation()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c892 vm_rights_t vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); in decodeRISCVFrameInvocation()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c2089 rightsFromWord(getSyscallArg(1, buffer))); in decodeARMFrameInvocation()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c2324 maskVMRights(capVMRights, rightsFromWord(w_rightsMask));

Completed in 25 milliseconds