struct PROCESSOR_IDLE_TIMES {
unsigned __int64 StartTime;/* 0x0 8 */
unsigned __int64 EndTime;/* 0x8 8 */
unsigned long IdleHandlerReserved[4];/* 0x10 16 */
};
/* source: Windows 2000 RC2 DDK Alpha libcntpr.lib CodeView type records; build 2128 per the DDK's ntverp.h */