region.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef region_h
#define region_h

#include "types.h"

//
// INTERFACE definition follows 
//


class Region
{

public:  
  static void init(Address begin, Address end);
  
  static Address reserve_pages(size_t size, unsigned long alignment);
  
  static void return_pages(Address address, size_t size);
  
  static void debug_dump();
};

#endif // region_h

---