Searched refs:pgtable (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/
H A Dwc.h36 #include <asm/pgtable.h>
/barrelfish-master/tools/weever/
H A Dboot.S98 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 Dpaging_generic.c235 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 Dpage_mappings_arch.c593 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 Dsyscall.c265 static struct sysret handle_unmap(struct capability *pgtable, argument
280 err = page_mappings_unmap(pgtable, mapping);
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c690 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 Dcapabilities.h139 errval_t page_mappings_unmap(struct capability *pgtable, struct cte *mapping);
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c208 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