Searched refs:sys_map (Results 1 - 6 of 6) sorted by last modified time
/barrelfish-master/kernel/ |
H A D | syscall.c | 423 sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_root_cptr, function 432 /* XXX: TODO: make root explicit argument for sys_map() */
|
/barrelfish-master/kernel/include/ |
H A D | syscall.h | 44 sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_root_cptr,
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | syscall.c | 155 struct sysret sr = sys_map(ptable, slot, source_root_cptr, source_cptr,
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | syscall.c | 223 return sys_map(pgtable, dest_slot, source_cptr, source_vbits,
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 337 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 339 return sys_map(ptable, slot, source_root_cptr, source_cptr, source_level,
|
Completed in 77 milliseconds