diff --git a/common/hw-gfx-gma-display_probing.ads b/common/hw-gfx-gma-display_probing.ads
index e51de88..5e8abe4 100644
--- a/common/hw-gfx-gma-display_probing.ads
+++ b/common/hw-gfx-gma-display_probing.ads
@@ -35,4 +35,6 @@
       Max_Pipe    : in     Pipe_Index := Pipe_Index'Last;
       Keep_Power  : in     Boolean := False);
 
+   procedure Hotplug_Events (Ports : out Port_List);
+
 end HW.GFX.GMA.Display_Probing;