//\r
// Include common header file for this module.\r
//\r
-#include "CommonHeader.h"\r
\r
+\r
+/**\r
+ Reads the current value of Time Stamp Counter (TSC).\r
+\r
+ Reads and returns the current value of TSC. This function is only available\r
+ on IA-32 and X64.\r
+\r
+ @return The current value of TSC\r
+\r
+**/\r
UINT64\r
EFIAPI\r
AsmReadTsc (\r