Time Stamp: 07/15/2018 20:51:32.886
Verifier Flags: 0x0002892b
Standard Flags:
[X] 0x00000001 Special pool.
[X] 0x00000002 Force IRQL checking.
[X] 0x00000008 Pool tracking.
[ ] 0x00000010 I/O verification.
[X] 0x00000020 Deadlock detection.
[ ] 0x00000080 DMA checking.
[X] 0x00000100 Security checks.
[X] 0x00000800 Miscellaneous checks.
[X] 0x00020000 DDI compliance checking.
Additional Flags:
[ ] 0x00000004 Randomized low resources simulation.
[ ] 0x00000200 Force pending I/O requests.
[ ] 0x00000400 IRP logging.
[ ] 0x00002000 Invariant MDL checking for stack.
[ ] 0x00004000 Invariant MDL checking for driver.
[X] 0x00008000 Power framework delay fuzzing.
[ ] 0x00010000 Port/miniport interface checking.
[ ] 0x00040000 Systematic low resources simulation.
[ ] 0x00080000 DDI compliance checking (additional).
[ ] 0x00200000 NDIS/WIFI verification.
[ ] 0x00800000 Kernel synchronization delay fuzzing.
[ ] 0x01000000 VM switch verification.
[ ] 0x02000000 Code integrity checks.
[X] Indicates flag is enabled.
Verifier Statistics Summary
Raise IRQLs: 1546367059
Acquire Spin Locks: 26681404
Synchronize Executions: 0
Trims: 3649064
Pool Allocations Attempted: 42957777
Pool Allocations Succeeded: 42957777
Pool Allocations Succeeded SpecialPool: 42957777
Pool Allocations With No Tag: 36
Pool Allocations Not Tracked: 0
Pool Allocations Failed: 0
Pool Allocations Failed Deliberately: 0
Driver Verification List
MODULE: amdpsp.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 2 / 0 )
Current Pool Bytes: ( 8328 / 0 )
Peak Pool Allocations: ( 2 / 0 )
Peak Pool Bytes: ( 8328 / 0 )
Contiguous Memory Bytes: 704
Peak Contiguous Memory Bytes: 704
MODULE: selow_x64.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 29 / 0 )
Current Pool Bytes: ( 6184 / 0 )
Peak Pool Allocations: ( 30 / 2 )
Peak Pool Bytes: ( 6424 / 176 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: mpkslf594fd30.sys (load: 0 / unload: 0)
MODULE: ipvex64.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 1 / 1 )
Current Pool Bytes: ( 712 / 47 )
Peak Pool Allocations: ( 1 / 1 )
Peak Pool Bytes: ( 712 / 47 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: rt640x64.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 10 / 0 )
Current Pool Bytes: ( 123524 / 0 )
Peak Pool Allocations: ( 10 / 1 )
Peak Pool Bytes: ( 123524 / 188 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: nvlddmkm.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 19617 / 354 )
Current Pool Bytes: ( 9853567 / 2057511 )
Peak Pool Allocations: ( 76663 / 367 )
Peak Pool Bytes: ( 29274432 / 2495600 )
Contiguous Memory Bytes: 184320
Peak Contiguous Memory Bytes: 319488
MODULE: amdpcidev.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 0 / 2 )
Current Pool Bytes: ( 0 / 72 )
Peak Pool Allocations: ( 0 / 2 )
Peak Pool Bytes: ( 0 / 72 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: amdgpio2.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 0 / 0 )
Current Pool Bytes: ( 0 / 0 )
Peak Pool Allocations: ( 0 / 0 )
Peak Pool Bytes: ( 0 / 0 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: amdgpio3.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 0 / 0 )
Current Pool Bytes: ( 0 / 0 )
Peak Pool Allocations: ( 0 / 0 )
Peak Pool Bytes: ( 0 / 0 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: nvhda64v.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 42 / 16 )
Current Pool Bytes: ( 29944 / 10048 )
Peak Pool Allocations: ( 43 / 17 )
Peak Pool Bytes: ( 30968 / 10068 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: rtkvhd64.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 751 / 0 )
Current Pool Bytes: ( 318698 / 0 )
Peak Pool Allocations: ( 755 / 2 )
Peak Pool Bytes: ( 320186 / 10318080 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: dump_diskdump.sys (load: 0 / unload: 0)
MODULE: dump_storahci.sys (load: 2 / unload: 1)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 0 / 0 )
Current Pool Bytes: ( 0 / 0 )
Peak Pool Allocations: ( 0 / 0 )
Peak Pool Bytes: ( 0 / 0 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: dump_dumpfve.sys (load: 2 / unload: 1)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 1 / 0 )
Current Pool Bytes: ( 16400 / 0 )
Peak Pool Allocations: ( 1 / 0 )
Peak Pool Bytes: ( 16400 / 0 )
Contiguous Memory Bytes: 65536
Peak Contiguous Memory Bytes: 65536
MODULE: ssgdio64.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 0 / 0 )
Current Pool Bytes: ( 0 / 0 )
Peak Pool Allocations: ( 0 / 0 )
Peak Pool Bytes: ( 0 / 0 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0
MODULE: rtcore64.sys (load: 1 / unload: 0)
Pool Allocation Statistics: ( NonPaged / Paged )
Current Pool Allocations: ( 0 / 0 )
Current Pool Bytes: ( 0 / 0 )
Peak Pool Allocations: ( 0 / 0 )
Peak Pool Bytes: ( 0 / 0 )
Contiguous Memory Bytes: 0
Peak Contiguous Memory Bytes: 0