Searched refs:dcn_addr (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/lib/barrelfish/
H A Dsys_debug.c106 capaddr_t dcn_addr = get_cnode_addr(cap); local
109 dcn_level, dcn_addr, cap.slot, start, end);
H A Dcapabilities.c314 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 Dcapabilities.h95 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 Dinvocations.h498 capaddr_t dcn_addr = get_cnode_addr(dest_cap); local
500 dcn_level, dcn_addr, dest_cap.slot, vec_hint);

Completed in 92 milliseconds