diff --git a/arch/arm/src/lpc17xx/Kconfig b/arch/arm/src/lpc17xx/Kconfig
index 842ddef2bba..8ed2fd94510 100644
--- a/arch/arm/src/lpc17xx/Kconfig
+++ b/arch/arm/src/lpc17xx/Kconfig
@@ -641,13 +641,6 @@ config SDIO_DMA
 		For most usages, SD accesses will cause data overruns if used without
 		DMA.  Requires LPC17_SDCARD and config LPC17_GPDMA.
 
-config SDIO_DMAPRIO
-	hex "SDIO DMA priority"
-	default 0x0
-	depends on LPC17_GPDMA
-	---help---
-		Select SDIO DMA prority.
-
 config SDIO_WIDTH_D1_ONLY
 	bool "Use D1 only"
 	default n
diff --git a/arch/arm/src/lpc17xx/lpc17_sdcard.c b/arch/arm/src/lpc17xx/lpc17_sdcard.c
index 543318fe72a..9bb2f5fd56b 100644
--- a/arch/arm/src/lpc17xx/lpc17_sdcard.c
+++ b/arch/arm/src/lpc17xx/lpc17_sdcard.c
@@ -93,8 +93,6 @@
  *   CONFIG_SDIO_WIDTH_D1_ONLY - This may be selected to force the driver
  *     operate with only a single data line (the default is to use all
  *     4 SD data lines).
- *   CONFIG_SDCARD_DMAPRIO - SD card DMA priority.  This can be selected if
- *     CONFIG_SDIO_DMA is enabled.
  *   CONFIG_DEBUG_SDIO - Enables some very low-level debug output
  *     This also requires CONFIG_DEBUG_FS and CONFIG_DEBUG_VERBOSE
  */
@@ -111,13 +109,6 @@
 #  error "Callback support requires CONFIG_SCHED_WORKQUEUE"
 #endif
 
-#ifdef CONFIG_SDIO_DMA
-#  define CONFIG_SDCARD_DMAPRIO DMA_SCR_PRIVERYHI
-#  if (CONFIG_SDCARD_DMAPRIO & ~DMA_SCR_PL_MASK) != 0
-#    error "Illegal value for CONFIG_SDCARD_DMAPRIO"
-#  endif
-#endif
-
 #if !defined(CONFIG_DEBUG_FS) || !defined(CONFIG_DEBUG)
 #  undef CONFIG_DEBUG_SDIO
 #endif
diff --git a/arch/arm/src/stm32/stm32_adc.c b/arch/arm/src/stm32/stm32_adc.c
index 14b52df600a..9c3bb5ae368 100644
--- a/arch/arm/src/stm32/stm32_adc.c
+++ b/arch/arm/src/stm32/stm32_adc.c
@@ -2433,6 +2433,7 @@ static int adc_ioctl(FAR struct adc_dev_s *dev, int cmd, unsigned long arg)
         ret = -ENOTTY;
     }
 
+  UNUSED(priv);
   return ret;
 }