/****************************************************************
 *								*
 *	Copyright 2001, 2007 Fidelity Information Services, 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.	*
 *								*
 ****************************************************************/

/* STUB FILE only for non-ia64 versions */
#include "mdef.h"
#include "inst_flush.h"

void inst_flush(void *start, int4 len)
{
        IA64_ONLY(cacheflush(start, len, 0 ));
}