Rename Pos_Type --> Position_Type
Yet after few months, it's already too confusing to me. Let's reserve
`Pos` for `Positive` and spell out `Position`.
Change-Id: I3445d20665ae6a993cb0e46d08e8f3148abef40e
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/26696
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
diff --git a/common/hw-gfx.ads b/common/hw-gfx.ads
index 1ab2518..7403a86 100644
--- a/common/hw-gfx.ads
+++ b/common/hw-gfx.ads
@@ -25,9 +25,9 @@
subtype Pos_Pixel_Type is Pixel_Type range 1 .. Pixel_Type'Last;
-- Allow same range for width and height (for rotated framebuffers)
- subtype Width_Type is Pos32 range 1 .. 8192;
- subtype Height_Type is Pos32 range 1 .. 8192;
- subtype Pos_Type is Int32 range 0 .. 4095;
+ subtype Width_Type is Pos32 range 1 .. 8192;
+ subtype Height_Type is Pos32 range 1 .. 8192;
+ subtype Position_Type is Int32 range 0 .. 4095;
Auto_BPC : constant := 5;
subtype BPC_Type is Int64 range Auto_BPC .. 16;
@@ -41,8 +41,8 @@
record
Width : Width_Type;
Height : Height_Type;
- Start_X : Pos_Type;
- Start_Y : Pos_Type;
+ Start_X : Position_Type;
+ Start_Y : Position_Type;
BPC : BPC_Type;
Stride : Width_Type;
V_Stride : Height_Type;