[coreboot-gerrit] Change in libgfxinit[master]: gma g45: Read CDClk and calculate dot-clock limits

[Nico Huber (Code Review)]

Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/libgfxinit/+/35715 )

Change subject: gma g45: Read CDClk and calculate dot-clock limits
......................................................................

Patch Set 1:

(1 comment)

https://review.coreboot.org/c/libgfxinit/+/35715/1/common/g45/hw-gfx-gma-pow... 
File common/g45/hw-gfx-gma-power_and_clocks.ads:

https://review.coreboot.org/c/libgfxinit/+/35715/1/common/g45/hw-gfx-gma-pow... 
PS1, Line 26:    procedure Update_CDClk (Configs : in out Pipe_Configs) is null;
May need post condition, too (I think it's obvious that `null` doesn't
change `Configs` but GNATprove probably doesn't).