/* Fills a target buffer with a 64-bit value, and returns the target buffer. */
VOID* EFIAPI InternalMemSetMem64(OUT VOID *Buffer, IN UINTN Length, IN UINT64 Value)
/* Fills a target buffer with a 64-bit value, and returns the target buffer. */
VOID* EFIAPI InternalMemSetMem64(OUT VOID *Buffer, IN UINTN Length, IN UINT64 Value)
{
  for ( ; Length != 0; Length--) {
    ((UINT64 *)Buffer)[Length - 1] = Value;
  }
  return Buffer;
}