/****************************************************************
 *								*
 *	Copyright 2001 Sanchez Computer Associates, Inc.	*
 *								*
 *	This source code contains the intellectual property	*
 *	of its copyright holder(s), and is made available	*
 *	under a license.  If you do not know the terms of	*
 *	the license, please stop and do not read further.	*
 *								*
 ****************************************************************/

#ifndef INST_FLUSH_INCLUDED
#define INST_FLUSH_INCLUDED

void inst_flush(void *start, int4 len);

#endif /* INST_FLUSH_INCLUDED */