1 //
2 // Copyright (c) 2010-2023 Antmicro
3 // Copyright (c) 2011-2015 Realtime Embedded
4 //
5 // This file is licensed under the MIT License.
6 // Full license text is available in 'licenses/MIT.txt'.
7 //
8 using System;
9 using Antmicro.Renode.Peripherals.Bus;
10 using Antmicro.Renode.Core;
11 using Antmicro.Renode.Logging;
12 using System.Collections.Generic;
13 using System.Collections.ObjectModel;
14 using Antmicro.Renode.Utilities;
15 
16 namespace Antmicro.Renode.Peripherals.IRQControllers
17 {
18     public class EXTI : STM32F4_EXTI
19     {
EXTI(IMachine machine, int numberOfOutputLines = 14, int firstDirectLine = STM32F4_EXTI.DefaultFirstDirectLine)20         public EXTI(IMachine machine, int numberOfOutputLines = 14, int firstDirectLine = STM32F4_EXTI.DefaultFirstDirectLine)
21             : base(machine, numberOfOutputLines, firstDirectLine)
22         {
23             this.Log(LogLevel.Warning, "Peripheral '{0}' is deprecated. '{1}' should be used instead", nameof(EXTI), nameof(STM32F4_EXTI));
24         }
25     }
26 }
27