Geoff Chappell, Software Analyst
The public symbol file NTKRPAMP.PDB for the original release of Windows 10 tells that the kernel is built with the VFDEADLOCK.H header at
and draws from it the following type definitions:
|177||unamed union for u1 in _VI_DEADLOCK_NODE|
The header VFDEADLOCK.H is not known in any Device Driver Kit (DDK) or Windows Driver Kit (WDK).