Searched defs:dest_cnode_cptr (Results 1 - 8 of 8) sorted by last modified time
/barrelfish-master/lib/barrelfish/ |
H A D | capabilities.c | 359 capaddr_t dest_cnode_cptr = get_cnode_addr(dest); local
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 236 sys_retype(struct capability *root, capaddr_t source_croot, capaddr_t source_cptr, gensize_t offset, enum objtype type, gensize_t objsize, size_t count, capaddr_t dest_cspace_cptr, capaddr_t dest_cnode_cptr, uint8_t dest_cnode_level, cslot_t dest_slot, bool from_monitor) argument 296 sys_create(struct capability *root, enum objtype type, size_t objsize, capaddr_t dest_cnode_cptr, uint8_t dest_level, cslot_t dest_slot) argument
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | syscall.c | 101 capaddr_t dest_cnode_cptr = args[5] & 0xffffffff; local 126 capaddr_t dest_cnode_cptr = args[2]; local
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | syscall.c | 120 capaddr_t dest_cnode_cptr = args[2]; local 141 capaddr_t dest_cnode_cptr = args[1]; local
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 192 capaddr_t dest_cnode_cptr = sa->x9; local
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 190 capaddr_t dest_cnode_cptr = sa->arg9; local
|
/barrelfish-master/include/barrelfish/ |
H A D | invocations.h | 56 invoke_cnode_create(struct capref root, enum objtype type, size_t objsize, capaddr_t dest_cnode_cptr, enum cnode_type dest_level, capaddr_t dest_slot) argument
|
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 112 invoke_cnode_create(struct capref root, enum objtype type, uint8_t objbits, capaddr_t dest_cnode_cptr, capaddr_t dest_slot, uint8_t dest_vbits) argument
|
Completed in 149 milliseconds