addrspace.h

Go to the documentation of this file.

#ifndef ADDRSPACE_H
#define ADDRSPACE_H

#include "copyright.h"
#include "filesys.h"

#define UserStackSize       1024    // increase this as necessary!

class AddrSpace
{
  public:
    AddrSpace (OpenFile * executable);
    // initializing it with the program
    // stored in the file "executable"

    ~AddrSpace ();

    void InitRegisters ();
    // before jumping to user code

    void SaveState ();

    void RestoreState ();

  private:
      TranslationEntry * pageTable;
    // for now!
    unsigned int numPages;
    // address space
};

#endif // ADDRSPACE_H