The public symbol file NTKRNLMP.PDB for the original release of Windows 10 tells that the kernel is built with the AMD64_X.H header at


and draws from it the type definitions that are tabulated below.

The header AMD64_X.H is not known in any Device Driver Kit (DDK) or Windows Driver Kit (WDK), but all except one of the types that the kernel is known to pick up from AMD64_X.H are defined in the NTOSP.H which is in the “minwin” subdirectory of the Windows 10 WDK for the original release and for Version 1511. Some are defined in one or another of the standard headers WDM.H or NTDDK.H. The line numbers on the left are from the unseen AMD64_X.H but are known from the symbol file. Those on the right are from headers that are readily available in the WDK for Windows 10.

Line Number Type WDM.H NTDDK.H NTOSP.H
945 struct _HARDWARE_PTE     4338
1010 union _KGDTENTRY64     4403
1015 unnamed struct for Bytes in _KGDTENTRY64     4408
1022 unnamed struct for Bits in _KGDTENTRY64     4415
1086 struct _KIDTENTRY64     4479
1145 struct _KTSS64     4538
1181 struct _KDESCRIPTOR     4574
1197 struct _KSPECIAL_REGISTERS     4590
1232 struct _KPROCESSOR_STATE     4625
1264 struct _KPRCB     4657
1907 struct _KPCR   5255 4741
2168 struct _KEXCEPTION_FRAME   5318 4986
2330 struct _KTRAP_FRAME   5396 5148
2504 struct _KUMS_CONTEXT_HEADER   5570 5322
2596 struct _KFLOATING_SAVE 17176   5414
2813 enum _INTERLOCKED_RESULT   5662 5593
3475 union _CPU_INFO