blob: 0de8ba046eb27ffe4a85b5bec7ac0d4da979d4f6 [file] [log] [blame]
Nico Huber83693c82016-10-08 22:17:55 +02001--
2-- Copyright (C) 2015-2016 secunet Security Networks AG
3--
4-- This program is free software; you can redistribute it and/or modify
5-- it under the terms of the GNU General Public License as published by
Nico Huber125a29e2016-10-18 00:23:54 +02006-- the Free Software Foundation; either version 2 of the License, or
7-- (at your option) any later version.
Nico Huber83693c82016-10-08 22:17:55 +02008--
9-- This program is distributed in the hope that it will be useful,
10-- but WITHOUT ANY WARRANTY; without even the implied warranty of
11-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12-- GNU General Public License for more details.
13--
14
15with HW.GFX.EDID;
16
17private package HW.GFX.GMA.Connector_Info is
18
19 procedure Read_EDID
20 (Raw_EDID : out EDID.Raw_EDID_Data;
21 Port_Cfg : in Port_Config;
22 Success : out Boolean)
23 with
24 Post => (if Success then EDID.Valid (Raw_EDID));
25
26 procedure Preferred_Link_Setting
27 (Port_Cfg : in out Port_Config;
28 Success : out Boolean)
29 with
30 Post => (Port_Cfg.Port = Port_Cfg.Port'Old);
31
32 procedure Next_Link_Setting
33 (Port_Cfg : in out Port_Config;
34 Success : out Boolean)
35 with
36 Post => (Port_Cfg.Port = Port_Cfg.Port'Old);
37
38 function Default_BPC (Port_Cfg : Port_Config) return BPC_Type;
39
40end HW.GFX.GMA.Connector_Info;