1/*
2 * Copyright (c) 2012 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

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

398 static std::vector<System *> systemList;
399 static int numSystemsRunning;
400
401 static void printSystems();
402
403 // For futex system call
404 std::map<uint64_t, std::list<ThreadContext *> * > futexMap;
405
406
407};
408
409#endif // __SYSTEM_HH__