HVGDK_MINI.H

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

d:\th.public.fre\internal\minwin\priv_sdk\inc

and draws from it the following type definitions:

Line Number Type
449 union _HV_PARTITION_PRIVILEGE_MASK
717 struct _HV_X64_HYPERVISOR_FEATURES

The header HVGDK_MINI.H is not known in any Device Driver Kit (DDK) or Windows Driver Kit (WDK). There was, however, an HVGDK.H in the WDK for Windows 7. It defines the HV_PARTITION_PRIVILEGE_MASK at line 2653, which may mean that the MINI of the header that the Windows 10 kernel uses is not just reduced but by thousands of lines.