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>

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"