HAL_INITIALIZED
detach_from_hald(ctx, HAL_INITIALIZED);
detach_from_hald(ctx, HAL_INITIALIZED);
state = HAL_INITIALIZED;
case HAL_INITIALIZED:
detach_from_hald(ctx, HAL_INITIALIZED);