SYSC_EVT_BD_HP_DISABLED
sysc_policy_update(softsp, NULL, SYSC_EVT_BD_HP_DISABLED);
ASSERT(event == SYSC_EVT_BD_HP_DISABLED || fhc_bdlist_locked());
case SYSC_EVT_BD_HP_DISABLED:
