fhc_bdlist_locked
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(!fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(fhc_bdlist_locked());
ASSERT(event == SYSC_EVT_BD_HP_DISABLED || fhc_bdlist_locked());
int fhc_bdlist_locked(void);