Home
last modified time | relevance | path

Searched refs:next_sequence_num_to_receive (Results 1 – 4 of 4) sorted by relevance

/external/libmojo/mojo/edk/system/ports/
Dport.cc12 uint64_t next_sequence_num_to_receive) in Port() argument
16 message_queue(next_sequence_num_to_receive), in Port()
Dport.h46 uint64_t next_sequence_num_to_receive);
Devent.h29 uint64_t next_sequence_num_to_receive; member
Dnode.cc977 port_descriptor->next_sequence_num_to_receive = in WillSendPort()
993 port_descriptor.next_sequence_num_to_receive)); in AcceptPort()