lib/gnat/i-c.ads: Add `uintptr_t` type

While Ada makes pointers harder to use, it is still useful to provide a
pointer type for use in C interfaces.

Change-Id: I3a30ef0147a459ba82c79a1f85a3d3fb97b0f3a1
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/47393
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
Angel Pons 2020-11-10 12:35:18 +01:00 committed by Patrick Georgi
parent 14ca740719
commit 81f5bf3017
1 changed files with 3 additions and 0 deletions

View File

@ -59,6 +59,9 @@ package Interfaces.C is
type size_t is mod 2 ** System.Parameters.ptr_bits;
-- For convenience, also provide an uintptr_t type
type uintptr_t is mod 2 ** System.Parameters.ptr_bits;
----------------------------
-- Characters and Strings --
----------------------------