Lines Matching refs:cptr
28 sys_dispatcher_setup(struct capability *to, capaddr_t cptr, uint8_t level,
54 struct sysret sys_delete(struct capability *root, capaddr_t cptr, uint8_t level);
55 struct sysret sys_revoke(struct capability *root, capaddr_t cptr, uint8_t level);
56 struct sysret sys_get_state(struct capability *root, capaddr_t cptr, uint8_t level);
64 struct sysret sys_trace_setup(struct capability *cap, capaddr_t cptr);
79 struct sysret sys_monitor_domain_id(capaddr_t cptr, domainid_t domain_id);
81 capaddr_t cptr, uint8_t bits,
84 capaddr_t cptr, uint8_t bits,
86 struct sysret sys_monitor_nullify_cap(capaddr_t cptr, uint8_t bits);
88 capaddr_t cptr, uint8_t bits);
90 capaddr_t cptr, uint8_t bits, coreid_t owner);
93 capaddr_t cptr, uint8_t bits);
95 capaddr_t cptr, uint8_t bits);
116 struct sysret sys_monitor_delete_foreigns(capaddr_t cptr, uint8_t bits);