/* DxeIplSetMem64 @ 0xffc15348 size=0x15 */
void *__cdecl DxeIplSetMem64(void *buf, unsigned int count, char value)
{
  memset(buf, value, count); /*0xffc15355*/
  return buf; /*0xffc1535b*/
}