blob: 171b5588156dd9d52048b3e8a0361eff0af1b13d [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)
Nico Huber47ff0692016-11-04 14:29:39 +010029 with
30 Post =>
31 Port_Cfg.Port = Port_Cfg.Port'Old and
32 Port_Cfg.Mode = Port_Cfg.Mode'Old;
Nico Huber83693c82016-10-08 22:17:55 +020033
34 procedure Next_Link_Setting
35 (Port_Cfg : in out Port_Config;
36 Success : out Boolean)
Nico Huber47ff0692016-11-04 14:29:39 +010037 with
38 Post =>
39 Port_Cfg.Port = Port_Cfg.Port'Old and
40 Port_Cfg.Mode = Port_Cfg.Mode'Old;
Nico Huber83693c82016-10-08 22:17:55 +020041
42 function Default_BPC (Port_Cfg : Port_Config) return BPC_Type;
43
44end HW.GFX.GMA.Connector_Info;