FlushCacheForPort
void FlushCacheForPort(port_id port);
fBufferCache->FlushCacheForPort(request->source.port);