/* FastCopy Header */

/* this prevents this header from being included more than once */
#ifndef __INCFastCopyh
#define __INCFastCopyh

/*
    modification history
    --------------------
    sept  9,1996 lipeles  written.
*/

/* 
   This file contains a routine to copy data from one buffer to
   the other quickly. It currently only works for data sizes that
   are integral numbers of words. Ie nbytes must be divisble by four.
*/

/* includes */
#include "vxWorks.h"
#include "cacheLib.h"
#include "stdio.h"

/* Definitions */
typedef    unsigned long long int   UINT64;

/* forwards */

void FastCopy (char* Destination,
	       char* Source,
	       int nbytes);

void FastCopyWords (FAST UINT32* Destination,
		    FAST UINT32* Source,
		    FAST int words); 

#endif /* __INCFastCopyh */