Lines Matching defs:mapping_cte
335 struct cte* mapping_cte)
397 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
417 struct cte* mapping_cte)
470 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
491 struct cte* mapping_cte)
540 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
562 struct cte* mapping_cte)
604 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
632 struct cte *mapping_cte);
647 struct cte *mapping_cte)
651 assert(mapping_cte->cap.type == ObjType_Null);
659 mapping_cte);
662 assert(mapping_cte->cap.type == ObjType_Null);
669 err = mdb_insert(mapping_cte);
674 TRACE_CAP_MSG("created", mapping_cte);
754 struct cte *mapping_cte)