V

validating

I/O control codes, 227

parameters, 62, 242

validation phase, SLAM engine, 830–831

VerboseOn (KMDF log controls), 729

!verifier debugger command, 523, 679

tracking fault and pool allocation counters, 686

using information during debugging, 684–686

Verifier.exe. See Driver Verifier

verifying drivers, 669. See also testing WDF drivers

Application Verifier, 693–694

DMA drivers, 578–580

Driver Verifier for, 46, 677–686

deadlock detection, 45, 678, 680

examples, 679–684

Force IRQL Checking option, 45, 678, 680, 683–684

IRQL problems, testing for, 523

testing DMA drivers, 578–579

KMDF Verifier, 45, 687–690

SDV for. See SDV (Static Driver Verifier)

UMDF Verifier, 690–693

VERIFY_IS_IRQL_PASSIVE_LEVEL() macro, 46

version resource file (Skeleton sample driver), 477, 488

[Version] section, INF files, 644, 654

versioning, 63–64, 637

versions of WDK, 13

versions of Windows, selecting, 619–620

virtual address space, 42–44

virtual function tables. See VTables

Vista. See entries at Windows Vista

vocabulary for driver development, 47–49

/volatile parameter (Driver Verifier), 681

VTables, 592–593