Lines Matching refs:cnode
21 /* seen list - check this array before we print cnode and vspace */
22 /* TBD: This is to avoid traversing the same cnode. It should be applied to object
30 /* Won't work well if there're more than SEEN_SZ cnode */
162 void obj_cnode_print_attrs(cap_t cnode)
164 printf("(%lu bits)\n", (long unsigned int)cap_cnode_cap_get_capCNodeRadix(cnode));
167 void obj_tcb_print_cnodes(cap_t cnode, tcb_t *tcb)
169 if (seen(cnode)) {
172 add_to_seen(cnode);
173 printf("%p_cnode = cnode ", (void *)cap_cnode_cap_get_capCNodePtr(cnode));
174 obj_cnode_print_attrs(cnode);
175 word_t radix = cap_cnode_cap_get_capCNodeRadix(cnode);
196 void cap_cnode_print_attrs(cap_t cnode)
199 (long unsigned int)cap_cnode_cap_get_capCNodeGuard(cnode),
200 (long unsigned int)cap_cnode_cap_get_capCNodeGuardSize(cnode));