Lines Matching refs:mapping_cte
340 struct cte* mapping_cte)
391 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
461 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
490 struct cte* mapping_cte)
532 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
560 struct cte *mapping_cte)
564 assert(mapping_cte->cap.type == ObjType_Null);
573 mapping_cte
582 mapping_cte
590 memset(mapping_cte, 0, sizeof(*mapping_cte));
594 assert(type_is_mapping(mapping_cte->cap.type));
595 err = mdb_insert(mapping_cte);
600 TRACE_CAP_MSG("created", mapping_cte);
645 struct cte *mapping_cte)