Searched refs:epQueue_head (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/fastpath/
A D	fastpath.h	88 static inline void endpoint_ptr_set_epQueue_head_np(endpoint_t *ep_ptr, word_t epQueue_head) in endpoint_ptr_set_epQueue_head_np() argument 90 ep_ptr->words[1] = epQueue_head; in endpoint_ptr_set_epQueue_head_np()
/seL4-master/include/object/
A D	structures_32.bf	151 field_high epQueue_head 28
A D	structures_64.bf	205 field epQueue_head 64

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023