Lines Matching refs:mapping_cte
43 static inline errval_t find_next_ptable(struct cte *mapping_cte, struct cte **next)
45 assert(mapping_cte);
46 struct Frame_Mapping *mapping = &mapping_cte->cap.u.frame_mapping;
100 void create_mapping_cap(struct cte *mapping_cte, struct capability *cap,
103 assert(mapping_cte->cap.type == ObjType_Null);
109 mapping_cte->cap.type = get_mapping_type(cap->type);
110 mapping_cte->cap.u.frame_mapping.cap = cap;
111 mapping_cte->cap.u.frame_mapping.ptable = ptable;
112 mapping_cte->cap.u.frame_mapping.entry = entry;
113 mapping_cte->cap.u.frame_mapping.pte_count = pte_count;
353 errval_t paging_tlb_flush_range(struct cte *mapping_cte, size_t offset, size_t pages)
355 assert(type_is_mapping(mapping_cte->cap.type));
357 struct Frame_Mapping *mapping = &mapping_cte->cap.u.frame_mapping;