/* This function frees an aligned buffer for the SCSI disk to perform SCSI IO operations. */
VOID FreeAlignedBuffer(IN VOID *Buffer, IN UINTN BufferSize)
/* This function frees an aligned buffer for the SCSI disk to perform SCSI IO operations. */
VOID FreeAlignedBuffer(IN VOID *Buffer, IN UINTN BufferSize)
{
  if (Buffer != NULL) {
    FreeAlignedPages (Buffer, EFI_SIZE_TO_PAGES (BufferSize));
  }
}