From d3045f393285c3d3a6bc5104c181fe811b2fc357 Mon Sep 17 00:00:00 2001
From: Gabe Black <gabeblack@google.com>
Date: Mon, 30 Sep 2013 21:23:34 -0700
Subject: [PATCH] uart: The uart.h header file uses uint32_t without including
 stdint.h.

Make it include stdint.h instead of relying on that file having already been
included by something else.

BUG=None
TEST=Built for link, lumpy, nyan, pit.
BRANCH=None

Change-Id: Ia09abc890a5f6b12318aa4ae0897aa8a0baf3b13
Signed-off-by: Gabe Black <gabeblack@google.com>
Reviewed-on: https://chromium-review.googlesource.com/171335
Reviewed-by: Ronald Minnich <rminnich@chromium.org>
Tested-by: Gabe Black <gabeblack@chromium.org>
Commit-Queue: Gabe Black <gabeblack@chromium.org>
---
 src/include/uart.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/include/uart.h b/src/include/uart.h
index 9601bfa7c9..cd62c6dc69 100644
--- a/src/include/uart.h
+++ b/src/include/uart.h
@@ -26,6 +26,8 @@
 #ifndef UART_H
 #define UART_H
 
+#include <stdint.h>
+
 #if CONFIG_CONSOLE_SERIAL8250 || CONFIG_CONSOLE_SERIAL8250MEM
 #include <uart8250.h>
 #endif