Searched refs:l2cnode (Results 1 - 4 of 4) sorted by last modified time
/barrelfish-2018-10-04/tools/asmoffsets/ |
H A D | asmoffsets.c | 108 DECL(CAP_L2CNODE_CNODE, struct capability, u.l2cnode.cnode);
|
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb_tree.c | 186 snprintf(extra, 255, "[rightsmask=%"PRIu8"]", cap->u.l2cnode.rightsmask);
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | debug.c | 161 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 D | capabilities.c | 675 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