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