usr/monitor/invocations.c

38     uint8_t level = get_cap_level(cap);
40     errval_t err = invoke_monitor_identify_cap(caddr, level, out);
63  * \param level   CSpace level of the cap to identify
67                                       int level, struct capability *out)
75                                                cap, level, out);
83                                          int level, uint8_t relations,
90                                            cptr, level, relations, mask,
97     uint8_t level = get_cap_level(cap);
99     return monitor_domcap_remote_relations(cap_root, cptr, level, relations,
111     uint8_t level = get_cap_level(cap);
112     return invoke_monitor_cap_has_relations(caddr, level, mask, res);
121     uint8_t level = get_cap_level(cap);
122     return invoke_monitor_nullify_cap(caddr, level);
136     uint8_t level = get_cnode_level(dest);
139     return invoke_monitor_create_cap((uint64_t*)cap, caddr, level, slot, owner);
149                                    gensize_t count, capaddr_t to, capaddr_t slot, int level)
155                                             newtype, objsize, count, to, slot, level);
177     uint8_t level = get_cnode_level(dest);
180     return invoke_monitor_copy_existing((uint64_t*)cap, croot, caddr, level, slot);
186 errval_t monitor_get_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t *ret_owner)
191     return invoke_monitor_get_cap_owner(root_addr, root_level, cptr, level, ret_owner);
197 errval_t monitor_set_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t owner)
202     return invoke_monitor_set_cap_owner(root_addr, root_level, cptr, level, owner);
208 errval_t monitor_lock_cap(struct capref croot, capaddr_t cptr, int level)
213     return invoke_monitor_lock_cap(root_addr, root_level, cptr, level);
219 errval_t monitor_unlock_cap(struct capref croot, capaddr_t cptr, int level)
224     return invoke_monitor_unlock_cap(root_addr, root_level, cptr, level);
238 errval_t monitor_delete_last(struct capref croot, capaddr_t cptr, int level, struct capref ret_cap)
245     return invoke_monitor_delete_last(root_addr, root_level, cptr, level,
252     uint8_t level = get_cap_level(cap);
253     return invoke_monitor_delete_foreigns(cptr, level);
257                                     int level)
261     return invoke_monitor_revoke_mark_target(root_addr, root_level, cptr, level);