Lines Matching refs:cptr
74 capaddr_t cptr, uint8_t level,
80 err = sys_double_lookup(root_addr, root_level, cptr, level, &cte);
120 capaddr_t cptr, uint8_t level,
124 errval_t err = caps_lookup_cap(root, cptr, level, &cap, CAPRIGHTS_READ);
137 struct sysret sys_monitor_nullify_cap(capaddr_t cptr, uint8_t level)
141 errval_t err = caps_lookup_slot(root, cptr, level, &cte,
157 struct sysret sys_monitor_domain_id(capaddr_t cptr, domainid_t domain_id)
162 errval_t err = caps_lookup_cap(root, cptr, CPTR_BITS, &disp,
194 struct sysret sys_get_cap_owner(capaddr_t root_addr, uint8_t root_level, capaddr_t cptr, uint8_t level)
199 err = sys_double_lookup(root_addr, root_level, cptr, level, &cte);
208 struct sysret sys_set_cap_owner(capaddr_t root_addr, uint8_t root_level, capaddr_t cptr, uint8_t level, coreid_t owner)
213 err = sys_double_lookup(root_addr, root_level, cptr, level, &cte);
415 struct sysret sys_monitor_delete_foreigns(capaddr_t cptr, uint8_t level)
420 err = caps_lookup_slot(&dcb_current->cspace.cap, cptr, level, &cte, CAPRIGHTS_READ);