diff options
| author | Angel Pons <th3fanbus@gmail.com> | 2020-11-10 12:35:18 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-11-16 12:13:31 +0000 |
| commit | 81f5bf301710911a5381084aba9ff99b8e575a46 (patch) | |
| tree | b72d41ccb516492e8da0852c9139dfd6b1a5ecdc /Makefile | |
| parent | 14ca7407196e34505cd4054117a1c2ed56746a32 (diff) | |
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>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions