kernel/include/capabilities.h

25 struct cte;
29     struct cte *next;
31     char padding[DELETE_LIST_SIZE - sizeof(struct cte*)];
42               "cap+mdbnode fit in cte");
53 struct cte {
67 STATIC_ASSERT_SIZEOF(struct cte, (1UL << OBJBITS_CTE));
69 static inline struct cte *caps_locate_slot(lpaddr_t cnode, cslot_t offset)
71     return (struct cte *)(local_phys_to_mem(cnode) +
75 static inline struct cte *cte_for_cap(struct capability *cap)
77     return (struct cte *) ((char *)cap - offsetof(struct cte, cap));
119 void caps_trace(const char *func, int line, struct cte *cte, const char *msg);
121                          size_t objbits, coreid_t owner, struct cte *caps);
125 errval_t caps_copy_to_cnode(struct cte *dest_cnode_cte, cslot_t dest_slot,
126                             struct cte *src_cte, bool mint, uintptr_t param1,
128 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint,
130 errval_t caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot,
131                             struct cte *src_cte, uintptr_t flags,
133                             struct cte *mapping_cte);
134 errval_t paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot,
135                            struct cte *src_cte, uintptr_t flags,
137                            struct cte *mapping_cte);
139 errval_t page_mappings_unmap(struct capability *pgtable, struct cte *mapping);
152                      struct cte *src_cte, gensize_t offset,
154 errval_t is_retypeable(struct cte *src_cte,
162                           uint8_t level, struct cte **ret, CapRights rights);
168 errval_t caps_delete_last(struct cte *cte, struct cte *ret_ram_cap);
169 errval_t caps_delete_foreigns(struct cte *cte);
170 errval_t caps_mark_revoke(struct capability *base, struct cte *revoked);
171 errval_t caps_delete_step(struct cte *ret_next);
172 errval_t caps_clear_step(struct cte *ret_ram_cap);
173 errval_t caps_delete(struct cte *cte);
174 errval_t caps_revoke(struct cte *cte);
179 errval_t caps_reclaim_ram(struct cte *ret_ram_cap);
265     struct cte *__tmp_cte = (trace_cte); \
273     struct cte *__tmp_cte = (trace_cte); \