#define return_thread_runnable_with_obj(d, r, maybe_copied)
Return from a blocked thread with an object that may have been copied. If the object was copied we ne...
Definition: types.h:476
int read_from_port(port_type *p)
Helper function to perform a buffered read from an input port.
Definition: runtime.c:7033