Searched refs:write_handle_rep (Results 1 – 1 of 1) sorted by relevance
3724 let write_handle_rep = transmit.write_handle.rep(); in guest_read() localVariable3765 }) = concurrent_state.take_event(write_handle_rep)? in guest_read()