1 /* $Id$ */
2
3 /** @file os_timer.cpp */
4
3 #include "stdafx.h"
5 #include "stdafx.h"
6
5 #undef RDTSC_AVAILABLE
7 #undef RDTSC_AVAILABLE
8