#ifndef _NTEXAPI_H

// private
/**
 * Describes the 32-bit-address Intel BTS/PEBS debug-store save area. The address
 * fields are ULONGs, but all counter-reset values are 64-bit. The layout occupies
 * 0x80 bytes, with GP resets at 0x20 and fixed resets at 0x60.
 */
typedef struct _PEBS_DS_SAVE_AREA32
{
    ULONG BtsBufferBase;
    ULONG BtsIndex;
    ULONG BtsAbsoluteMaximum;
    ULONG BtsInterruptThreshold;
    ULONG PebsBufferBase;
    ULONG PebsIndex;
    ULONG PebsAbsoluteMaximum;
    ULONG PebsInterruptThreshold;
    ULONGLONG PebsGpCounterReset[8]; // 64-bit reset values even in the 32-bit DS format.
    ULONGLONG PebsFixedCounterReset[4];
} PEBS_DS_SAVE_AREA32, *PPEBS_DS_SAVE_AREA32;

#endif
View code on GitHub