tree f19e55f628b842dfcbe02e333305dd8a6be1dee9
parent 19d13a56067ac875ddf6641efc3b80ae33e32055
author Nico Huber <nico.h@gmx.de> 1776518693 +0200
committer Nico Huber <nico.h@gmx.de> 1780741693 +0000

gma display_probing: Let Port_List_Range grow with Active_Port_Type

Beside not having to manually adapt the hardcoded number anymore, this
also ensures that we can't miss to extend the All_Ports array when the
Active_Port_Type grows.

Change-Id: Ic4e86082dff4cc7c7d92ed183825f46640614441
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/500
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: Ada SPARK <gnatbot@sourcearcade.org>