ANON_ISBUSY
ASSERT(ANON_ISBUSY(anon_get_slot(amp->ahp, anon_idx)) == 0);
ASSERT(!ANON_ISBUSY(anon_get_slot(old, index)));
ASSERT(!ANON_ISBUSY(anon_get_slot(old, index)));
ASSERT(!ANON_ISBUSY(anon_get_slot(ahp, index)));
ASSERT(!ANON_ISBUSY(anon_get_slot(ahp, index)));
ASSERT(!ANON_ISBUSY(anon_get_slot(ahp, index)));
while (ANON_ISBUSY(ap_slot))
if (ANON_ISBUSY(ap_slot)) {
ASSERT(ANON_ISBUSY(sobj->sync_data));
ASSERT(!ANON_ISBUSY(anon_get_slot(sahp, s_idx)));