x86 / ntoskrnl /

_KIPI_FLUSH_SINGLE_TB

← no build number 2 builds latest →

incomplete derived from kernel debugger

struct _KIPI_FLUSH_SINGLE_TB {
char* TargetProcessors;/* 0x0 4 */
char* Restart;/* 0x4 4 */
char* VirtualAddress;/* 0x8 4 */
char Invalid;/* 0xc 1 */
};
/* computed: December 1991 pre-release CD, MSTOOLS/BIN/OS2/I386KD.EXE CodeView 3 types (compiled 1-byte packed for its 16-bit host), laid out with natural 32-bit alignment */
size 16 (0x10)4 members0 holespadding 31 cacheline
Used in (1)