From 349b6dad63a53b2d82179e3b153357e4a60cbfa5 Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Mon, 8 Jan 2018 18:47:35 +0000
Subject: [PATCH] Use <stand.h> instead of <inttypes.h> and <stdio.h> in boot
 code.

In the freestanding boot compile environment, standard headers are not
available.  Curiously, only building with clang exposed this as compiles
with external GCC still succeeded.

Sponsored by:	DARPA / AFRL
---
 stand/mips/beri/common/sdcard.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/stand/mips/beri/common/sdcard.c b/stand/mips/beri/common/sdcard.c
index 4de3db4b98e5..14b52875ed4d 100644
--- a/stand/mips/beri/common/sdcard.c
+++ b/stand/mips/beri/common/sdcard.c
@@ -33,8 +33,7 @@
 #include <sys/types.h>
 #include <sys/endian.h>
 
-#include <inttypes.h>
-#include <stdio.h>
+#include <stand.h>
 
 
 /*