Lines Matching defs:cptr
49 sys_dispatcher_setup(struct capability *to, capaddr_t cptr, uint8_t level,
60 if (cptr == 0x0) {
77 assert(!cptr == 0x0);
82 if (cptr == 0x0 || vptr == 0x0 || dptr == 0x0 || odptr == 0x0) {
88 err = caps_lookup_slot(&dcb_current->cspace.cap, cptr, level,
91 debug(SUBSYS_CAPS, "caps_lookup_cap for croot=%"PRIxCADDR", level=%d: %"PRIuERRV"\n", cptr, level, err);
224 * \param source_cptr Source capability cptr
229 * \param dest_cspace_cptr Destination CSpace cnode cptr relative to
231 * \param dest_cnode_cptr Destination cnode cptr
342 * \param dest_cspace_cptr Destination cspace root cnode cptr in source cspace
343 * \parma destcn_cptr Destination cnode cptr relative to destination cspace
345 * \param source_cptr Source capability cptr relative to source cspace
486 struct sysret sys_delete(struct capability *root, capaddr_t cptr, uint8_t level)
490 err = caps_lookup_slot(root, cptr, level, &slot, CAPRIGHTS_READ_WRITE);
499 struct sysret sys_revoke(struct capability *root, capaddr_t cptr, uint8_t level)
503 err = caps_lookup_slot(root, cptr, level, &slot, CAPRIGHTS_READ_WRITE);
512 struct sysret sys_get_state(struct capability *root, capaddr_t cptr, uint8_t level)
516 err = caps_lookup_slot(root, cptr, level, &slot, CAPRIGHTS_READ);