spz3/PageTable.h

#ifndef PAGETABLE_H
#define PAGETABLE_H

#include <vector>

#include "PTE.h"

class PageTable {
    public:
        std::vector<PTE> entries;
        PTE &operator[](unsigned int index);
};

#endif //PAGETABLE_H