Searched refs:l2cnode (Results 1 - 4 of 4) sorted by last modified time

/barrelfish-2018-10-04/tools/asmoffsets/
H A Dasmoffsets.c108 DECL(CAP_L2CNODE_CNODE, struct capability, u.l2cnode.cnode);
/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c186 snprintf(extra, 255, "[rightsmask=%"PRIu8"]", cap->u.l2cnode.rightsmask);
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddebug.c161 cap->u.l2cnode.cnode,
162 cap->u.l2cnode.rightsmask);
357 static void walk_cspace_l2(struct capref l2cnode){ argument
360 struct cnoderef cnode = build_cnoderef(l2cnode, 1);
362 debug_printf(" Printing L2 CNode at L1 slot=%d\n", l2cnode.slot);
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c675 temp_cap.u.l2cnode.cnode = lpaddr + dest_i * objsize;
677 temp_cap.u.l2cnode.rightsmask = CAPRIGHTS_ALLRIGHTS;
1125 struct cte *l2cnode = caps_locate_slot(get_address(rootcn), l1index); local
1130 if (l2cnode->cap.type == ObjType_Null) {
1134 *ret = l2cnode;
1140 if (l2cnode->cap.type == ObjType_Null) {
1142 debug(SUBSYS_CAPS, "%s: l2cnode is NULL\n", __FUNCTION__);
1145 if (l2cnode->cap.type != ObjType_L2CNode) {
1147 debug(SUBSYS_CAPS, "%s: l2cnode->type = %d\n", __FUNCTION__,
1148 l2cnode
[all...]

Completed in 60 milliseconds