| /barrelfish-master/kernel/ |
| H A D | syscall.c | 477 struct cte *mapping_cte = caps_locate_slot(get_address(&mapping_cnode_cte->cap), local
521 struct cte *mapping_cte = caps_locate_slot(get_address(&mapping_cnode_cte->cap), local
|
| H A D | paging_generic.c | 43 static inline errval_t find_next_ptable(struct cte *mapping_cte, struct cte **next) argument
100 void create_mapping_cap(struct cte *mapping_cte, struct capability *cap, argument
353 paging_tlb_flush_range(struct cte *mapping_cte, size_t offset, size_t pages) argument
[all...] |
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | page_mappings_arch.c | 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/arch/x86_32/ |
| H A D | page_mappings_arch.c | 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/armv8/ |
| H A D | paging.c | 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/armv7/ |
| H A D | paging.c | 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...] |