Searched refs:ptable (Results 26 - 35 of 35) sorted by relevance

12

/barrelfish-master/kernel/
H A Dcap_delete.c300 // Only if the ptable the mapping is pointing to is a vnode type
301 if (type_is_vnode(mapping->ptable->cap.type)) {
302 err = page_mappings_unmap(&mapping->ptable->cap, cte);
H A Dcapabilities.c259 "ptable cap @0x%p, entry=%hu, pte_count=%hu)",
262 cap->u.frame_mapping.ptable,
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c314 struct capability *ptable,
337 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
344 struct capability* ptable,
366 err = page_mappings_unmap(ptable, mapping);
313 handle_map( struct capability *ptable, arch_registers_state_t *context, int argc ) argument
343 handle_unmap( struct capability* ptable, arch_registers_state_t* context, int argc ) argument
H A Dpaging.c739 lvaddr_t base = local_phys_to_mem(get_address(&info->ptable->cap)) +
/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c316 struct capability *ptable,
339 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
346 struct capability* ptable,
368 err = page_mappings_unmap(ptable, mapping);
315 handle_map( struct capability *ptable, arch_registers_state_t *context, int argc ) argument
345 handle_unmap( struct capability* ptable, arch_registers_state_t* context, int argc ) argument
H A Dpaging.c627 lvaddr_t base = local_phys_to_mem(get_address(&info->ptable->cap)) +
677 } else if (l1e->page_table.type == 1) { // ptable
678 // calculate which part of ptable to check
681 // read ptable base
682 lvaddr_t ptable = local_phys_to_mem((genpaddr_t)l1e->page_table.base_address << 10); local
684 l2e = (union arm_l2_entry *)ptable + l2idx;
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h414 errval_t install_user_managed_pdpt(genvaddr_t *base, void **ptable);
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c138 static struct sysret handle_map(struct capability *ptable, argument
155 struct sysret sr = sys_map(ptable, slot, source_root_cptr, source_cptr,
313 static struct sysret handle_vnode_copy_remap(struct capability *ptable, argument
327 struct sysret sr = sys_copy_remap(ptable, slot, source_cptr, source_level, flags,
/barrelfish-master/lib/barrelfish/
H A Ddebug.c353 "ptable cap @0x%p, entry=%hu, pte_count=%hu)",
356 cap->u.frame_mapping.ptable,
/barrelfish-master/usr/arrakismon/
H A Dguest.c662 struct vnode **ptable);
722 // should never be full ptable

Completed in 276 milliseconds

12