Searched refs:ptable (Results 26 - 35 of 35) sorted by relevance
12
/barrelfish-master/kernel/ |
H A D | cap_delete.c | 300 // 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 D | capabilities.c | 259 "ptable cap @0x%p, entry=%hu, pte_count=%hu)", 262 cap->u.frame_mapping.ptable,
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 314 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 D | paging.c | 739 lvaddr_t base = local_phys_to_mem(get_address(&info->ptable->cap)) +
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 316 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 D | paging.c | 627 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 D | nestedpaging.h | 414 errval_t install_user_managed_pdpt(genvaddr_t *base, void **ptable);
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | syscall.c | 138 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 D | debug.c | 353 "ptable cap @0x%p, entry=%hu, pte_count=%hu)", 356 cap->u.frame_mapping.ptable,
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 662 struct vnode **ptable); 722 // should never be full ptable
|
Completed in 276 milliseconds
12