ZONE_IS_INITIALIZED
case ZONE_IS_INITIALIZED:
case ZONE_IS_INITIALIZED:
zone_status_set(zone, ZONE_IS_INITIALIZED);
ASSERT(zone_status_get(zone) == ZONE_IS_INITIALIZED);
if (zone_status < ZONE_IS_INITIALIZED) {