Searched refs:cte_ptr (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/src/object/ | ||
| H A D | objecttype.c | 185 cte_t *cte_ptr; local 189 cte_ptr = TCB_PTR_CTE_PTR(tcb, tcbCTable); 206 CTE_REF(cte_ptr) |
Completed in 28 milliseconds