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 VERIFIER.H header at
d:\th\minkernel\ntos\inc
and draws from it the following type definitions:
| Line Number | Type |
|---|---|
| 104 | struct _VI_VERIFIER_ISSUE |
| 125 | struct _VF_DRIVER_IO_CALLBACKS |
| 137 | struct _VF_SUSPECT_DRIVER_ENTRY |
| 279 | enum _VI_DEADLOCK_RESOURCE_TYPE |
| 315 | struct _VI_FAULT_TRACE |
| 987 | struct _IOV_FORCED_PENDING_TRACE |
| 1264 | struct _VF_TRACKER_STAMP |
| 1277 | struct _VF_TRACKER |
| 1432 | struct _VF_POOL_TRACE |
| 1504 | struct _IOV_IRP_TRACE |
| 1561 | struct _VI_TRACK_IRQL |
| 1674 | struct _VF_AVL_TREE_NODE |
| 1683 | struct _VF_AVL_TABLE |
| 1729 | struct _VF_AVL_TREE |
| 1757 | unnamed union for u1 in _VF_AVL_TREE |
| 1825 | struct _VF_TARGET_VERIFIED_DRIVER_DATA |
| 1858 | unnamed union for u1 in _VF_TARGET_VERIFIED_DRIVER_DATA |
| 1860 | unnamed struct for Flags in u1 in _VF_TARGET_VERIFIED_DRIVER_DATA |
| 1935 | struct _VF_TARGET_ALL_SHARED_EXPORT_THUNKS |
| 1950 | struct _VF_TARGET_DRIVER |
| 1972 | unnamed union for u1 in _VF_TARGET_DRIVER |
| 1976 | unnamed struct for Flags in u1 in _VF_TARGET_DRIVER |
| 2063 | struct _VF_KE_CRITICAL_REGION_TRACE |
| 2081 | struct _VF_WATCHDOG_IRP |
The header VERIFIER.H is not known in any Device Driver Kit (DDK) or Windows Driver Kit (WDK).