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 +-
 malloc.c         | 2 +-
 pci.c            | 2 +-
 smbios.c         | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

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);
diff --git a/malloc.c b/malloc.c
index 8738373..bd0ac0f 100644
--- a/malloc.c
+++ b/malloc.c
@@ -1,4 +1,4 @@
-#include <inttypes.h>
+#include <stdint.h>
 #include "string.h"
 #include "bios.h"
 
diff --git a/pci.c b/pci.c
index 65c9e81..63ebda6 100644
--- a/pci.c
+++ b/pci.c
@@ -1,7 +1,7 @@
 #include "bios.h"
 #include "ioport.h"
 #include "pci.h"
-#include <string.h>
+#include "string.h"
 
 static uint16_t addend;
 static uint8_t bus, bridge_head;
diff --git a/smbios.c b/smbios.c
index 1ed98b6..3565015 100644
--- a/smbios.c
+++ b/smbios.c
@@ -1,4 +1,4 @@
-#include <inttypes.h>
+#include <stdint.h>
 #include "smbios.h"
 #include "string.h"
 #include "fw_cfg.h"
-- 
cgit v1.1