#include <System/Mem.h>
#include <kern/kernel.h>
-#include <kern/orb.h>
#include <arch/mem.h>
#include <arch/addrs.h>
friend class ASpaceMappable;
};
- class ProcAddrSpace : public AddrSpace {
- public:
- ProcAddrSpace();
- ProcAddrSpace(void *page_table);
-
- ORB::IDSpace idspace;
- };
-
extern Factory addr_space_factory, proc_addr_space_factory;
using ::System::RunTime::orbmm;