#define SIMGRID_MC_MMU_H
#include <cstdint>
+#include <cstddef>
#include <xbt/asserts.h>
+#include <xbt/base.h> // xbt_pagesize...
#include <xbt/misc.h>
#include <simgrid_config.h>
size_t mc_page_count(size_t size)
{
size_t page_count = size >> xbt_pagebits;
- if (size & (xbt_pagesize-1)) {
+ if (size & (xbt_pagesize-1))
page_count ++;
- }
return page_count;
}