1/*
2 * Copyright (c) 2010 ARM Limited
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software

--- 92 unchanged lines hidden (view full) ---

101 }
102
103 Addr
104 pageStart()
105 {
106 return ppn << PageShift;
107 }
108
109 void serialize(std::ostream &os);
110 void unserialize(Checkpoint *cp, const std::string &section);
111};
112
113
114
115};
116#endif // __ARCH_ARM_PAGETABLE_H__
117