CODING_PORT_FLUSHED 1064 src/port.c         CODING_PORT_FLUSHED         /* prefetched lines are flushed. */
CODING_PORT_FLUSHED 1188 src/port.c         if (data->state == CODING_PORT_FLUSHED) {
CODING_PORT_FLUSHED 1204 src/port.c                 data->state = CODING_PORT_FLUSHED;
CODING_PORT_FLUSHED 1213 src/port.c             data->state = CODING_PORT_FLUSHED;