blob: a02f7c088dc91507c6403ed36544927158fa562e [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
6-- the Free Software Foundation; version 2 of the License.
7--
8-- This program is distributed in the hope that it will be useful,
9-- but WITHOUT ANY WARRANTY; without even the implied warranty of
10-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11-- GNU General Public License for more details.
12--
13
14with HW.GFX.EDID;
15
16private package HW.GFX.GMA.Connector_Info is
17
18 procedure Read_EDID
19 (Raw_EDID : out EDID.Raw_EDID_Data;
20 Port_Cfg : in Port_Config;
21 Success : out Boolean)
22 with
23 Post => (if Success then EDID.Valid (Raw_EDID));
24
25 procedure Preferred_Link_Setting
26 (Port_Cfg : in out Port_Config;
27 Success : out Boolean)
28 with
29 Post => (Port_Cfg.Port = Port_Cfg.Port'Old);
30
31 procedure Next_Link_Setting
32 (Port_Cfg : in out Port_Config;
33 Success : out Boolean)
34 with
35 Post => (Port_Cfg.Port = Port_Cfg.Port'Old);
36
37 function Default_BPC (Port_Cfg : Port_Config) return BPC_Type;
38
39end HW.GFX.GMA.Connector_Info;