Searched refs:pgtable (Results 1 - 8 of 8) sorted by relevance
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/ |
H A D | wc.h | 36 #include <asm/pgtable.h>
|
/barrelfish-master/tools/weever/ |
H A D | boot.S | 98 leal pgtable(%ebx), %edi 104 leal pgtable + 0(%ebx), %edi 109 leal pgtable + 0x1000(%ebx), %edi 119 leal pgtable + 0x2000(%ebx), %edi 131 leal pgtable + 0x1000(%ebx), %edi 137 leal pgtable + 0x6000(%ebx), %edi 147 leal pgtable + 0x6000(%ebx), %edi 156 leal pgtable(%ebx), %eax 246 .section ".pgtable","a",@nobits 248 pgtable label [all...] |
/barrelfish-master/kernel/ |
H A D | paging_generic.c | 235 struct cte *pgtable = mapping->ptable; local 236 if (!pgtable) { 241 if (!type_is_vnode(pgtable->cap.type)) { 249 lpaddr_t ptable_lp = gen_phys_to_local_phys(get_address(&pgtable->cap)); 260 err = compile_vaddr(pgtable, slot, &vaddr); 297 errval_t page_mappings_unmap(struct capability *pgtable, struct cte *mapping) argument 299 assert(type_is_vnode(pgtable->type)); 306 if (!(pgtable->rights & CAPRIGHTS_WRITE)) { 311 lvaddr_t pt = local_phys_to_mem(gen_phys_to_local_phys(get_address(pgtable))); 317 struct cte *leaf_pt = cte_for_cap(pgtable); [all...] |
/barrelfish-master/kernel/arch/x86_64/ |
H A D | page_mappings_arch.c | 593 static inline void read_pt_entry(struct capability *pgtable, size_t slot, argument 597 assert(type_is_vnode(pgtable->type)); 603 genpaddr_t gp = get_address(pgtable); 610 switch (pgtable->type) {
|
H A D | syscall.c | 265 static struct sysret handle_unmap(struct capability *pgtable, argument 280 err = page_mappings_unmap(pgtable, mapping);
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | paging.c | 690 static inline void read_pt_entry(struct capability *pgtable, size_t slot, genpaddr_t *paddr) argument 692 assert(type_is_vnode(pgtable->type)); 695 genpaddr_t gp = get_address(pgtable); 699 switch (pgtable->type) {
|
/barrelfish-master/kernel/include/ |
H A D | capabilities.h | 139 errval_t page_mappings_unmap(struct capability *pgtable, struct cte *mapping);
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | syscall.c | 208 static struct sysret handle_map(struct capability *pgtable, argument 223 return sys_map(pgtable, dest_slot, source_cptr, source_vbits, 227 static struct sysret handle_unmap(struct capability *pgtable, argument 241 err = page_mappings_unmap(pgtable, mapping);
|
Completed in 180 milliseconds