| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | debug.c | 24 uint32_t ptable :9; member in struct:lin_addr::__anon74
|
| H A D | page_mappings_arch.c | 412 union x86_32_pdir_entry *ptable = (union x86_32_pdir_entry *)pdir_lv + ptable_index; local
|
| /barrelfish-master/usr/tests/nested_paging_test/ |
| H A D | main.c | 48 void *ptable; local
|
| H A D | nestedpaging.c | 14 errval_t install_user_managed_pdpt(genvaddr_t *base, void **ptable) argument
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | debug.c | 25 uint64_t ptable :9; member in struct:lin_addr::__anon75
|
| H A D | page_mappings_arch.c | 757 union x86_64_ptable_entry *ptable = (union x86_64_ptable_entry *)pdir_lv + X86_64_PDIR_BASE(vaddr); local
1080 union x86_64_pdir_entry *ptable = (union x86_64_pdir_entry *)pdir_lv + ptable_index; local
[all...] |
| H A D | vmx_vmkit.c | 1025 union x86_64_pdir_entry *ptable = (union x86_64_pdir_entry *)pdir_lv + ptable_index; local
[all...] |
| H A D | syscall.c | 138 static struct sysret handle_map(struct capability *ptable, argument
313 static struct sysret handle_vnode_copy_remap(struct capability *ptable, argument
|
| /barrelfish-master/usr/tests/nkm/ |
| H A D | vnode_inherit.c | 64 struct vnode *ptable = NULL; local
[all...] |
| /barrelfish-master/usr/tests/pagetable/ |
| H A D | pagetable.c | 102 genpaddr_t *ptable = NULL; local
|
| /barrelfish-master/kernel/ |
| H A D | paging_generic.c | 120 errval_t compile_vaddr(struct cte *ptable, size_t entry, genvaddr_t *retvaddr) argument
100 create_mapping_cap(struct cte *mapping_cte, struct capability *cap, struct cte *ptable, cslot_t entry, size_t pte_count) argument
[all...] |
| H A D | syscall.c | 423 sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_root_cptr, argument
491 sys_copy_remap(struct capability *ptable, cslot_t slot, capaddr_t source_cptr, argument
|
| /barrelfish-master/lib/posixcompat/ |
| H A D | nestedpaging.c | 106 void *ptable; local
|
| /barrelfish-master/lib/barrelfish/arch/aarch64/ |
| H A D | pmap.c | 275 struct vnode *ptable= NULL; local
618 struct vnode *ptable local
208 get_ptable(struct pmap_aarch64 *pmap, genvaddr_t vaddr, struct vnode **ptable) argument
[all...] |
| /barrelfish-master/usr/bench/cow/ |
| H A D | pmap_cow.c | 272 find_or_clone_vnode(struct pmap_x86 *pmap, struct vnode *parent, enum objtype type, size_t entry, struct vnode **ptable) argument
375 cow_get_ptable(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **ptable) argument
435 struct vnode *ptable = NULL; local
[all...] |
| /barrelfish-master/include/arch/x86_64/barrelfish/ |
| H A D | invocations_arch.h | 100 static inline errval_t invoke_vnode_map(struct capref ptable, capaddr_t slot, argument
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | paging.c | 682 lvaddr_t ptable = local_phys_to_mem((genpaddr_t)l1e->page_table.base_address << 10); local
|
| H A D | syscall.c | 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
|
| /barrelfish-master/lib/barrelfish/arch/x86_64/ |
| H A D | pmap.c | 277 struct vnode *ptable = NULL; local
179 get_ptable(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **ptable) argument
1184 struct vnode *ptable; local
[all...] |
| /barrelfish-master/include/barrelfish/ |
| H A D | invocations.h | 212 static inline errval_t invoke_vnode_copy_remap(struct capref ptable, capaddr_t slot, argument
|
| /barrelfish-master/lib/barrelfish/arch/arm/ |
| H A D | pmap.c | 426 struct vnode *ptable; local
369 get_ptable(struct pmap_arm *pmap, genvaddr_t vaddr, struct vnode **ptable) argument
1075 struct vnode *ptable = find_ptable(pmap, vaddr); local
[all...] |
| /barrelfish-master/lib/barrelfish/arch/x86_32/ |
| H A D | pmap.c | 161 struct vnode *ptable; local
116 get_ptable(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **ptable) argument
[all...] |
| /barrelfish-master/include/arch/x86_32/barrelfish/ |
| H A D | invocations_arch.h | 274 invoke_vnode_map(struct capref ptable, capaddr_t slot, capaddr_t from, argument
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 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
|
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_db.c | 3022 pword *pw, *ptable; local
3050 pword *pw, *ptable; local
[all...] |