commit bacc071313e2893bb2b57fd88d114be582f4643c
author Miguel Young de la Sota <mcyoung@google.com> Wed Dec 18 13:43:14 2019 -0600
committer Garret Kelly <Garret.Kelly@gmail.com> Wed Dec 18 14:55:35 2019 -0500
tree 4491cee09aa79df7e02d3f7725618ca90950e3a0
parent b1a4e034eadd41b7e9decc628c7650c228318434

[sw] Fix CI due to missing #includes.

Signed-off-by: Miguel Young de la Sota <mcyoung@google.com>

sw/device/benchmarks/coremark/top_earlgrey/core_portme.c

diff --git a/sw/device/benchmarks/coremark/top_earlgrey/core_portme.c b/sw/device/benchmarks/coremark/top_earlgrey/core_portme.c
index f389edc..4511446 100644
--- a/sw/device/benchmarks/coremark/top_earlgrey/core_portme.c
+++ b/sw/device/benchmarks/coremark/top_earlgrey/core_portme.c
@@ -6,6 +6,8 @@
         Legal : TODO!
 */
 #include "sw/device/benchmarks/coremark/top_earlgrey/core_portme.h"
+
+#include "sw/device/lib/base/stdasm.h"
 #include "sw/vendor/eembc_coremark/coremark.h"
 
 #if VALIDATION_RUN

sw/device/examples/hello_usbdev/hello_usbdev.c

diff --git a/sw/device/examples/hello_usbdev/hello_usbdev.c b/sw/device/examples/hello_usbdev/hello_usbdev.c
index 24c1c0c..2152ef1 100644
--- a/sw/device/examples/hello_usbdev/hello_usbdev.c
+++ b/sw/device/examples/hello_usbdev/hello_usbdev.c
@@ -2,6 +2,7 @@
 // Licensed under the Apache License, Version 2.0, see LICENSE for details.
 // SPDX-License-Identifier: Apache-2.0
 
+#include "sw/device/lib/base/stdasm.h"
 #include "sw/device/lib/common.h"
 #include "sw/device/lib/gpio.h"
 #include "sw/device/lib/uart.h"

sw/device/examples/hello_world/hello_world.c

diff --git a/sw/device/examples/hello_world/hello_world.c b/sw/device/examples/hello_world/hello_world.c
index bd9aecf..b1338ca 100644
--- a/sw/device/examples/hello_world/hello_world.c
+++ b/sw/device/examples/hello_world/hello_world.c
@@ -2,6 +2,7 @@
 // Licensed under the Apache License, Version 2.0, see LICENSE for details.
 // SPDX-License-Identifier: Apache-2.0
 
+#include "sw/device/lib/base/stdasm.h"
 #include "sw/device/lib/common.h"
 #include "sw/device/lib/gpio.h"
 #include "sw/device/lib/pinmux.h"

sw/device/lib/handler.c

diff --git a/sw/device/lib/handler.c b/sw/device/lib/handler.c
index b344415..12bfcdc 100644
--- a/sw/device/lib/handler.c
+++ b/sw/device/lib/handler.c
@@ -4,6 +4,7 @@
 
 #include "handler.h"
 
+#include "sw/device/lib/base/stdasm.h"
 #include "sw/device/lib/common.h"
 #include "sw/device/lib/uart.h"
 

sw/device/tests/flash_ctrl/flash_test.c

diff --git a/sw/device/tests/flash_ctrl/flash_test.c b/sw/device/tests/flash_ctrl/flash_test.c
index fe8926f..478c16e 100644
--- a/sw/device/tests/flash_ctrl/flash_test.c
+++ b/sw/device/tests/flash_ctrl/flash_test.c
@@ -2,6 +2,7 @@
 // Licensed under the Apache License, Version 2.0, see LICENSE for details.
 // SPDX-License-Identifier: Apache-2.0
 
+#include "sw/device/lib/base/stdasm.h"
 #include "sw/device/lib/common.h"
 #include "sw/device/lib/flash_ctrl.h"
 #include "sw/device/lib/gpio.h"