capdl.c - OpenGrok cross reference for /seL4-master/src/machine/capdl.c

Lines Matching refs:TCB_PTR_CTE_PTR
98     cap_t ep_cap = TCB_PTR_CTE_PTR(tcb, tcbFaultHandler)->cap;  in obj_tcb_print_attrs()
235     if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap) != cap_null_cap) {  in obj_tcb_print_slots()
237                (void *)cap_cnode_cap_get_capCNodePtr(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap));  in obj_tcb_print_slots()
238         cap_cnode_print_attrs(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap);  in obj_tcb_print_slots()
242     if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) != cap_null_cap) {  in obj_tcb_print_slots()
244                cap_vtable_cap_get_vspace_root_fp(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap));  in obj_tcb_print_slots()
249     if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbBuffer)->cap) != cap_null_cap) {  in obj_tcb_print_slots()
257     if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbFaultHandler)->cap) != cap_null_cap) {  in obj_tcb_print_slots()
259                (void *)cap_endpoint_cap_get_capEPPtr(TCB_PTR_CTE_PTR(tcb, tcbFaultHandler)->cap));  in obj_tcb_print_slots()
260         cap_ep_print_attrs(TCB_PTR_CTE_PTR(tcb, tcbFaultHandler)->cap);  in obj_tcb_print_slots()
269     if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbTimeoutHandler)->cap) != cap_null_cap) {  in obj_tcb_print_slots()
271                (void *)cap_endpoint_cap_get_capEPPtr(TCB_PTR_CTE_PTR(tcb, tcbTimeoutHandler)->cap));  in obj_tcb_print_slots()
272         cap_ep_print_attrs(TCB_PTR_CTE_PTR(tcb, tcbTimeoutHandler)->cap);  in obj_tcb_print_slots()
277     if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbReply)->cap) != cap_null_cap) {  in obj_tcb_print_slots()
279                (void *)cap_reply_cap_get_capTCBPtr(TCB_PTR_CTE_PTR(tcb, tcbReply)->cap));  in obj_tcb_print_slots()
283     if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbCaller)->cap) != cap_null_cap) {  in obj_tcb_print_slots()
284         tcb_t *caller = TCB_PTR(cap_thread_cap_get_capTCBPtr(TCB_PTR_CTE_PTR(tcb, tcbCaller)->cap));  in obj_tcb_print_slots()
294     cap_t root = TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap;  in obj_cnode_print_slots()
390         if (cap_get_capType(TCB_PTR_CTE_PTR(curr, tcbCTable)->cap) == cap_cnode_cap) {  in print_objects()
391             obj_tcb_print_cnodes(TCB_PTR_CTE_PTR(curr, tcbCTable)->cap, curr);  in print_objects()