| /barrelfish-master/kernel/arch/armv7/ |
| H A D | paging.c | 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,
334 caps_map_l1(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
484 caps_map_l2(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
557 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
642 paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
[all...] |
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | paging.c | 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)
329 caps_map_l0(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
411 caps_map_l1(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
485 caps_map_l2(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
556 caps_map_l3(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
644 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
751 paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
[all...] |
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | page_mappings_arch.c | 31 struct cte *mapping_cte)
57 create_mapping_cap(mapping_cte, src,
75 struct cte *mapping_cte)
122 create_mapping_cap(mapping_cte, src,
158 create_mapping_cap(mapping_cte, src,
176 struct cte *mapping_cte)
219 create_mapping_cap(mapping_cte, src,
248 struct cte *mapping_cte);
263 struct cte *mapping_cte)
266 assert(mapping_cte
28 x86_32_pdpt(struct capability *dest, cslot_t slot, struct capability * src, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
72 x86_32_pdir(struct capability *dest, cslot_t slot, struct capability * src, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
173 x86_32_ptable(struct capability *dest, cslot_t slot, struct capability * src, uintptr_t uflags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
260 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
[all...] |
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | 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);
37 x86_64_non_ptable(struct capability *dest, cslot_t slot, struct capability *src, uintptr_t flags, uintptr_t offset, size_t pte_count, struct cte *mapping_cte) argument
278 x86_64_ptable(struct capability *dest, cslot_t slot, struct capability *src, uintptr_t mflags, uintptr_t offset, size_t pte_count, struct cte *mapping_cte) argument
391 x86_64_vtd_table(struct capability *dest, cslot_t slot, struct capability *src, uintptr_t flags, uintptr_t offset, size_t pte_count, struct cte *mapping_cte) argument
540 caps_copy_to_vnode(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
665 paging_copy_remap(struct cte *dest_vnode_cte, cslot_t dest_slot, struct cte *src_cte, uintptr_t flags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument
[all...] |
| /barrelfish-master/kernel/include/ |
| H A D | capabilities.h | 133 struct cte *mapping_cte);
137 struct cte *mapping_cte);
|
| H A D | paging_generic.h | 29 void create_mapping_cap(struct cte *mapping_cte, struct capability *cap,
|
| /barrelfish-master/kernel/ |
| H A D | paging_generic.c | 43 static inline errval_t find_next_ptable(struct cte *mapping_cte, struct cte **next) argument
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, argument
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
353 paging_tlb_flush_range(struct cte *mapping_cte, size_t offset, size_t pages) argument
[all...] |
| H A D | syscall.c | 477 struct cte *mapping_cte = caps_locate_slot(get_address(&mapping_cnode_cte->cap), local
479 if (mapping_cte->cap.type != ObjType_Null) {
487 offset, pte_count, mapping_cte));
521 struct cte *mapping_cte = caps_locate_slot(get_address(&mapping_cnode_cte->cap), local
523 if (mapping_cte->cap.type != ObjType_Null) {
531 offset, pte_count, mapping_cte));
|