#include "mc_page_store.h"
#include "mc_mmu.h"
+#include "mc_private.h"
#include <xbt/mmalloc.h>
return res;
}
-static inline void mc_ensure_fd(int* fd, const char* path, int flags) {
+static inline __attribute__ ((always_inline))
+void mc_ensure_fd(int* fd, const char* path, int flags) {
if (*fd != -1)
return;
*fd = open(path, flags);