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

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

136 void setRFlags(ThreadContext *tc, uint64_t val);
137
138 /**
139 * Extract the bit string representing a double value.
140 */
141 inline uint64_t getDoubleBits(double val) {
142 return *(uint64_t *)(&val);
143 }
144}
145
146#endif // __ARCH_X86_UTILITY_HH__