Searched refs:cte_ptr_t (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/include/
H A Dcompound_types.h26 typedef cte_t *cte_ptr_t; typedef
29 cte_ptr_t excaprefs[seL4_MsgMaxExtraCaps];

Completed in 28 milliseconds