V_dmb_hits
counter_u64_add(V_dmb_hits, 1);
V_dmb_hits = counter_u64_alloc(M_WAITOK);
counter_u64_free(V_dmb_hits);