void gm_provide_receive_buffer_with_tag (
  gm_port_t *p,
  void *ptr,
  unsigned size,
  unsigned priority,
  unsigned int tag
);