Searched refs:vmRightsFromWord (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/arch/arm/32/object/
A D	objecttype.c	125 vm_rights = vmRightsFromWord( in Arch_maskCapRights() 133 vm_rights = vmRightsFromWord( in Arch_maskCapRights()
/seL4-master/src/arch/riscv/object/
A D	objecttype.c	63 vm_rights = vmRightsFromWord(cap_frame_cap_get_capFVMRights(cap)); in Arch_maskCapRights()
/seL4-master/include/object/
A D	structures.h	227 static inline vm_rights_t CONST vmRightsFromWord(word_t w) in vmRightsFromWord() function
/seL4-master/src/arch/arm/64/object/
A D	objecttype.c	129 vm_rights = vmRightsFromWord(cap_frame_cap_get_capFVMRights(cap)); in Arch_maskCapRights()
/seL4-master/src/arch/x86/object/
A D	objecttype.c	172 vm_rights = vmRightsFromWord(cap_frame_cap_get_capFVMRights(cap)); in Arch_maskCapRights()

Completed in 9 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023