arch/x86_64/page_mappings_arch.c

40                                   struct cte *mapping_cte)
218     create_mapping_cap(mapping_cte, src, cte_for_cap(dest),
281                               struct cte *mapping_cte)
351     create_mapping_cap(mapping_cte, src, cte_for_cap(dest),
394                                   struct cte *mapping_cte)
508     create_mapping_cap(mapping_cte, src, cte_for_cap(dest),
521                                       struct cte *mapping_cte);
543                             struct cte *mapping_cte)
546     assert(mapping_cte->cap.type == ObjType_Null);
574                               pte_count, mapping_cte);
576         assert(mapping_cte->cap.type == ObjType_Null);
582     assert(type_is_mapping(mapping_cte->cap.type));
583     errval_t err = mdb_insert(mapping_cte);
588     TRACE_CAP_MSG("created", mapping_cte);
668                            struct cte *mapping_cte)
671     assert(mapping_cte->cap.type == ObjType_Null);
719                        mapping_cte);
726         memset(mapping_cte, 0, sizeof(*mapping_cte));
731     assert(type_is_mapping(mapping_cte->cap.type));
732     err = mdb_insert(mapping_cte);