Gets the value of a hardware Performance Monitor Counter (PMC).
void GetPMCValue(
UINT32 index,
UINT64 *pValue
)
index
Type: UINT32
Index of the hardware counter (from 0 to 3).
pValue
Type: UINT64 *
The value of the counter, as a pointer to a 64 bit integer.
See the Remarks in ConfigurePMCs.
Header: Declared in pix.h.
Library: Use PIXEvt.lib.