-/** @brief Get the virtual memory page number of a given address
- *
- * @param address Address
- * @return Virtual memory page number of the given address
- */
-static inline __attribute__ ((always_inline))
-size_t mc_page_number(const void* base, const void* address)
+/** @brief Split into chunk number and remaining offset */
+static XBT_ALWAYS_INLINE std::pair<std::size_t, std::uintptr_t> split(std::uintptr_t offset)