\r
**/\r
\r
-//\r
-// Include common header file for this module.\r
-//\r
\r
\r
+\r
+/**\r
+ Reads the current value of a Performance Counter (PMC).\r
+\r
+ Reads and returns the current value of performance counter specified by\r
+ Index. This function is only available on IA-32 and X64.\r
+\r
+ @param Index The 32-bit Performance Counter index to read.\r
+\r
+ @return The value of the PMC specified by Index.\r
+\r
+**/\r
UINT64\r
EFIAPI\r
AsmReadPmc (\r