tree 4eba5b42fa69a641ac1720e04fd646749c755f1d
parent 17b513ed2d0830aec5eb1e65333aa0e0cc061627
author Nico Huber <nico.h@gmx.de> 1662292586 +0200
committer Nico Huber <nico.h@gmx.de> 1669655016 +0000

gma skylake: Avoid aliasing of Config.State

SPARK rules forbid us to pass `Config.Raw_Clock` (which is a part
of `Config.State`) as an output to Get_Raw_Clock() as the latter
also depends on `Config.State`. Introduce an intermediate variable
to avoid this.

Change-Id: I721dea522afba9342d92f44aa0fd7708cc079436
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/68109
Reviewed-by: Angel Pons <th3fanbus@gmail.com>