Lines Matching defs:cte
40 sys_debug_print_capabilities_check_cnode(struct cte *cte, struct cte **dispatcher) {
41 enum objtype type = cte->cap.type;
44 *dispatcher = cte;
51 struct kcb *kcb = (struct kcb*) local_phys_to_mem(get_address(&cte->cap));
52 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&kcb->init_rootcn.cap));
53 struct cte *cn_task = (struct cte*) local_phys_to_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap));
58 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&cte->cap));
68 struct cte *cn_task = (struct cte*) local_phys_to_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap));
81 sys_debug_print_capabilities_cb(struct cte *cte, void *data) {
82 // printk(LOG_NOTE, "cte=%p\n", cte);
86 struct cte *result;
87 errval_t err = mdb_find_cap_for_address(mem_to_local_phys((lvaddr_t) cte), &result);
89 printk(LOG_ERR, "Type of cap: %d, kernel address %p, phys. address 0x%"PRIxLPADDR"\n", cte->cap.type, cte, mem_to_local_phys((lvaddr_t) cte));
101 struct cte *dispatcher;
106 printk(LOG_ERR, "Type of cap: %d\n", cte->cap.type);
121 sprint_cap(buffer, 256, &cte->cap);
133 struct cte out_cap;
134 memset(&out_cap, 0, sizeof(struct cte));
140 struct cte * cn;