| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | debug.c | 24 uint32_t ptable :9; member in struct:lin_addr::__anon405
|
| 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-2018-10-04/kernel/arch/x86_64/ |
| H A D | debug.c | 25 uint64_t ptable :9; member in struct:lin_addr::__anon406
|
| H A D | page_mappings_arch.c | 561 union x86_64_pdir_entry *ptable = (union x86_64_pdir_entry *)pdir_lv + ptable_index; local
[all...] |
| H A D | syscall.c | 130 static struct sysret handle_map(struct capability *ptable, argument
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | paging_generic.c | 129 errval_t compile_vaddr(struct cte *ptable, size_t entry, genvaddr_t *retvaddr) argument
107 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
|
| /barrelfish-2018-10-04/include/arch/x86_64/barrelfish/ |
| H A D | invocations_arch.h | 99 static inline errval_t invoke_vnode_map(struct capref ptable, capaddr_t slot, argument
|
| /barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/ |
| H A D | pmap.c | 333 struct vnode *ptable= NULL; local
732 struct vnode *ptable local
266 get_ptable(struct pmap_aarch64 *pmap, genvaddr_t vaddr, struct vnode **ptable) argument
[all...] |
| /barrelfish-2018-10-04/lib/barrelfish/arch/arm/ |
| H A D | pmap.c | 403 struct vnode *ptable; local
346 get_ptable(struct pmap_arm *pmap, genvaddr_t vaddr, struct vnode **ptable) argument
1056 struct vnode *ptable = find_ptable(pmap, vaddr); local
[all...] |
| /barrelfish-2018-10-04/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-2018-10-04/lib/barrelfish/arch/x86_64/ |
| H A D | pmap.c | 258 struct vnode *ptable = NULL; local
168 get_ptable(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **ptable) argument
[all...] |
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | syscall.c | 360 handle_map( struct capability *ptable, arch_registers_state_t *context, int argc ) argument
390 handle_unmap( struct capability* ptable, arch_registers_state_t* context, int argc ) argument
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | syscall.c | 340 handle_map( struct capability *ptable, arch_registers_state_t *context, int argc ) argument
370 handle_unmap( struct capability* ptable, arch_registers_state_t* context, int argc ) argument
|
| /barrelfish-2018-10-04/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-2018-10-04/usr/eclipseclp/Kernel/src/ |
| H A D | bip_db.c | 3022 pword *pw, *ptable; local
3050 pword *pw, *ptable; local
[all...] |