ibcm_delete_state_from_avl
static void ibcm_delete_state_from_avl(ibcm_state_data_t *statep);
ibcm_delete_state_from_avl(statep);