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