HDR_IN_HASH_TABLE
if (new_state == arc_anon && HDR_IN_HASH_TABLE(hdr))
ASSERT(!HDR_IN_HASH_TABLE(hdr));
ASSERT(HDR_IN_HASH_TABLE(hdr));
if (HDR_IN_HASH_TABLE(hdr)) {
if (HDR_IN_HASH_TABLE(hdr))
ASSERT(!HDR_IN_HASH_TABLE(hdr));
ASSERT(!HDR_IN_HASH_TABLE(hdr));
ASSERT(HDR_IN_HASH_TABLE(hdr));