/* Copy count bytes from src to dest , returns pointer to the dest mem zone.  */
void* ixOsalMemCopy(void *dest, void *src, UINT32 count)
/* Copy count bytes from src to dest , returns pointer to the dest mem zone.  */
void* ixOsalMemCopy(void *dest, void *src, UINT32 count)
{
    IX_OSAL_ASSERT (dest != NULL);
    IX_OSAL_ASSERT (src != NULL);
    return (memcpy (dest, src, count));
}