DF5228: baseline v_free_count=823899 v_wire_count=149423
DF5228: after free: pmap_kextract(va)=0000000000000000 -> kernel PTE gone
DF5228: 30 cycles: v_free_count=823897 (net deficit 2 pages = 0MB)
DF5228: 60 cycles: v_free_count=823897 (net deficit 2 pages = 0MB)
DF5228 RESULT: 120 MB alloc+freed (60 cycles of 2048KB): v_free_count deficit=2 pages (0MB), v_wire surplus=2
DF5228: control 20 x contigmalloc/contigfree: free deficit=0 pages (expected 0)
DF5228 VERDICT: not reproduced (orphan_seen=0 deficit=2)