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>

2 files changed, 2 insertions, 2 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);