From 96842c5a646fe1f70a352e14bf380743100876ee Mon Sep 17 00:00:00 2001
From: Paolo Bonzini <pbonzini@redhat.com>
Date: Wed, 18 Dec 2019 11:02:53 +0100
Subject: limit C headers to freestanding ones

inttypes.h is not part of the subset of standard headers for
freestanding environments.  Replace it with stdint.h.

Also include string.h with quotes, since we provide it.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
---
 include/bios.h   | 2 +-
 include/string.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'include')

diff --git a/include/bios.h b/include/bios.h
index f36638b..7f8f677 100644
--- a/include/bios.h
+++ b/include/bios.h
@@ -1,7 +1,7 @@
 #ifndef BIOS_H_
 #define BIOS_H_
 
-#include <inttypes.h>
+#include <stdint.h>
 #include <stddef.h>
 #include <stdbool.h>
 
diff --git a/include/string.h b/include/string.h
index cf9fde9..39decfa 100644
--- a/include/string.h
+++ b/include/string.h
@@ -2,7 +2,7 @@
 #define BIOS_STRING_H
 
 #include <stddef.h>
-#include <inttypes.h>
+#include <stdint.h>
 
 unsigned long strlen(const char *buf);
 char *strcat(char *dest, const char *src);
-- 
cgit v1.1