#include "arch/arm/isa_traits.hh"
#include "arch/arm/utility.hh"
-
class ThreadContext;
-class FunctionalPort;
namespace ArmISA {
inline Addr PteAddr(Addr a) { return (a & PteMask) << PteShift; }
Addr vtophys(Addr vaddr);
Addr vtophys(ThreadContext *tc, Addr vaddr);
-};
+ bool virtvalid(ThreadContext *tc, Addr vaddr);
+}
#endif // __ARCH_ARM_VTOPHYS_H__