-/* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2009-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
smpi_trace_call_location_t* call_location();
void set_privatized_region(smpi_privatization_region_t region);
smpi_privatization_region_t privatized_region();
- smx_mailbox_t mailbox();
- smx_mailbox_t mailbox_small();
+ s4u::MailboxPtr mailbox() { return mailbox_; }
+ s4u::MailboxPtr mailbox_small() { return mailbox_small_; }
xbt_mutex_t mailboxes_mutex();
#if HAVE_PAPI
int papi_event_set();