2011-09-13 17:50:18 +03:00
|
|
|
#ifndef _memorymanip__hpp__included__
|
|
|
|
#define _memorymanip__hpp__included__
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
#include <list>
|
|
|
|
#include <vector>
|
|
|
|
#include <cstdint>
|
|
|
|
#include <stdexcept>
|
2014-05-18 01:58:05 +03:00
|
|
|
#include "library/memoryspace.hpp"
|
2011-09-13 17:50:18 +03:00
|
|
|
|
2014-05-18 01:58:05 +03:00
|
|
|
class cart_mappings_refresher
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
cart_mappings_refresher(memory_space& _mspace);
|
|
|
|
void operator()() throw(std::bad_alloc);
|
|
|
|
private:
|
|
|
|
memory_space& mspace;
|
|
|
|
};
|
2011-09-13 17:50:18 +03:00
|
|
|
|
|
|
|
#endif
|