Searched defs:rights (Results 1 - 4 of 4) sorted by path

/barrelfish-master/include/vm/
H A Dvm_mmap.c201 cap_rights_t rights; local
/barrelfish-master/kernel/
H A Dcapabilities.c1243 caps_lookup_slot(struct capability *rootcn, capaddr_t cptr, uint8_t level, struct cte **ret, CapRights rights) argument
1352 caps_lookup_cap(struct capability *cnode_cap, capaddr_t cptr, uint8_t level, struct capability **ret, CapRights rights) argument
[all...]
/barrelfish-master/kernel/include/target/x86_32/
H A Dpaging_kernel_target.h403 static inline uint64_t paging_x86_32_cap_to_page_flags(CapRights rights) argument
[all...]
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h576 static inline uint64_t paging_x86_64_cap_to_page_flags(CapRights rights) argument
[all...]

Completed in 108 milliseconds