-void* Mailbox::get()
-{
- void* res = nullptr;
- CommPtr c = get_init();
- c->set_dst_data(&res, sizeof(res));
- c->vetoable_start();
- c->wait();
- return res;
-}
-void* Mailbox::get(double timeout)
-{
- void* res = nullptr;
- CommPtr c = get_init();
- c->set_dst_data(&res, sizeof(res));
- c->vetoable_start();
- c->wait_for(timeout);
- return res;
-}
-
-smx_activity_t Mailbox::iprobe(int type, bool (*match_fun)(void*, void*, kernel::activity::CommImpl*), void* data)
+kernel::activity::ActivityImplPtr
+Mailbox::iprobe(int type, bool (*match_fun)(void*, void*, kernel::activity::CommImpl*), void* data)