1/*
2 * Copyright (c) 2007 The Hewlett-Packard Development Company
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

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

100 }
101
102 inline uint64_t
103 getExecutingAsid(ThreadContext *tc)
104 {
105 return 0;
106 }
107
108}
109
110#endif // __ARCH_X86_UTILITY_HH__