/* Write 32bits data to specified UFS MMIO register. */
EFI_STATUS UfsMmioWrite32(IN UFS_PASS_THRU_PRIVATE_DATA *Private, IN UINTN Offset, IN UINT32 Value)
/* Write 32bits data to specified UFS MMIO register. */
EFI_STATUS UfsMmioWrite32(IN UFS_PASS_THRU_PRIVATE_DATA *Private, IN UINTN Offset, IN UINT32 Value)
{
  EDKII_UFS_HOST_CONTROLLER_PROTOCOL  *UfsHc;
  EFI_STATUS                          Status;
  UfsHc = Private->UfsHostController;
  Status = UfsHc->Write (UfsHc, EfiUfsHcWidthUint32, Offset, 1, &Value);
  return Status;
}