Searched refs:dcn_addr (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/lib/barrelfish/ |
H A D | sys_debug.c | 106 capaddr_t dcn_addr = get_cnode_addr(cap); local 109 dcn_level, dcn_addr, cap.slot, start, end);
|
H A D | capabilities.c | 314 capaddr_t dcn_addr = get_cnode_addr(dest_start); local 323 objsize, count, dcs_addr, dcn_addr, dcn_level, 331 objsize, count, dcn_addr, dest_start.slot,
|
/barrelfish-master/include/barrelfish/ |
H A D | capabilities.h | 95 capaddr_t dcn_addr = get_cnode_addr(dest); local 101 return invoke_cnode_mint(cap_root, dcs_addr, dcn_addr, dest.slot, 173 capaddr_t dcn_addr = get_cnode_addr(dest); local 179 err = invoke_cnode_copy(cap_root, dcs_addr, dcn_addr, dest.slot, scp_root,
|
H A D | invocations.h | 498 capaddr_t dcn_addr = get_cnode_addr(dest_cap); local 500 dcn_level, dcn_addr, dest_cap.slot, vec_hint);
|
Completed in 92 milliseconds