debuggerMetadatacopystruct _KIPI_FLUSH_ENTIRE_TB { char* TargetProcessors;/* 0x0 4 */ char* Restart;/* 0x4 4 */ char Invalid;/* 0x8 1 */};/* from I386KD.EXE's types, re-laid out for 32-bit */