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 VFUTIL.H header at
d:\th\minkernel\ntos\verifier
and draws from it the following type definition:
| Line Number | Type |
|---|---|
| 68 | struct _VF_ADDRESS_RANGE |
The header VFUTIL.H is not known in any Device Driver Kit (DDK) or Windows Driver Kit (WDK).