diff --git a/arch/ARM/STM32/devices/stm32f7x/stm32-device.adb b/arch/ARM/STM32/devices/stm32f7x/stm32-device.adb
index f69488da2..0807b51af 100644
--- a/arch/ARM/STM32/devices/stm32f7x/stm32-device.adb
+++ b/arch/ARM/STM32/devices/stm32f7x/stm32-device.adb
@@ -1099,4 +1099,25 @@ package body STM32.Device is
       RCC_Periph.AHB1ENR.CRCEN := True;
    end Enable_Clock;
 
+   -------------------
+   -- Disable_Clock --
+   -------------------
+
+   procedure Disable_Clock (This : in out CRC_32) is
+      pragma Unreferenced (This);
+   begin
+      RCC_Periph.AHB1ENR.CRCEN := False;
+   end Disable_Clock;
+
+   -----------
+   -- Reset --
+   -----------
+
+   procedure Reset (This : in out CRC_32) is
+      pragma Unreferenced (This);
+   begin
+      RCC_Periph.AHB1RSTR.CRCRST := True;
+      RCC_Periph.AHB1RSTR.CRCRST := False;
+   end Reset;
+
 end STM32.Device;
diff --git a/arch/ARM/STM32/devices/stm32f7x/stm32-device.ads b/arch/ARM/STM32/devices/stm32f7x/stm32-device.ads
index a93a095c1..815cfd7d5 100644
--- a/arch/ARM/STM32/devices/stm32f7x/stm32-device.ads
+++ b/arch/ARM/STM32/devices/stm32f7x/stm32-device.ads
@@ -551,6 +551,10 @@ package STM32.Device is
 
    procedure Enable_Clock (This : in out CRC_32);
 
+   procedure Disable_Clock (This : in out CRC_32);
+
+   procedure Reset (This : in out CRC_32);
+
    -----------
    -- SDMMC --
    -----------