src/os_timer.cpp
changeset 6351 8d0b6cce8d6d
parent 6247 7d81e3a5d803
child 7405 2fd57f130eca
equal deleted inserted replaced
6350:04b19f551aec 6351:8d0b6cce8d6d
     1 /* $Id$ */
     1 /* $Id$ */
       
     2 
       
     3 /** @file os_timer.cpp */
     2 
     4 
     3 #include "stdafx.h"
     5 #include "stdafx.h"
     4 
     6 
     5 #undef RDTSC_AVAILABLE
     7 #undef RDTSC_AVAILABLE
     6 
     8