V_acqseqhash_mask
(key_u32hash(seq) & V_acqseqhash_mask)
&V_acqseqhash_mask);
for (i = 0; i < V_acqseqhash_mask + 1; i++)
hashdestroy(V_acqseqhashtbl, M_IPSEC_SAQ, V_acqseqhash_mask);