See header for documentation */
| 144 | |
| 145 | /* See header for documentation */ |
| 146 | double get_time() |
| 147 | { |
| 148 | FILETIME tv; |
| 149 | GetSystemTimePreciseAsFileTime(&tv); |
| 150 | unsigned long long ticks = tv.dwHighDateTime; |
| 151 | ticks = (ticks << 32) | tv.dwLowDateTime; |
| 152 | return static_cast<double>(ticks) / 1.0e7; |
| 153 | } |
| 154 | |
| 155 | /* See header for documentation */ |
| 156 | void set_thread_name( |