/* Sets the bytes at the destination address to the specified value.  */
void CpuMemSet(blt_addr dest, blt_int8u value, blt_int16u len)
/* Sets the bytes at the destination address to the specified value.  */
void CpuMemSet(blt_addr dest, blt_int8u value, blt_int16u len)
{
  blt_int8u *to;
  to = (blt_int8u *)dest;
  while (len-- > 0)
  {
    *to++ = value;
    CopService();
  }
}