commit 9a6384be34ab0a75dbf839b03b1f4aed4f30a5bf
author Andrew Scull <ascull@google.com> Wed Jan 02 12:08:40 2019 +0000
committer Andrew Scull <ascull@google.com> Wed Jan 02 12:09:13 2019 +0000
tree 51af297128d424eaec534b00f3aa4f86c33ed220
parent 11a4a0ca104df9962b8b309f6780aff015959561

Fix my lazy typos.

Change-Id: I21df59fb83d3caf3e006dcdec02bdac126b7f208

src/arch/aarch64/barriers.c

diff --git a/src/arch/aarch64/barriers.c b/src/arch/aarch64/barriers.c
index 14721fb..2e3d0db 100644
--- a/src/arch/aarch64/barriers.c
+++ b/src/arch/aarch64/barriers.c
@@ -14,6 +14,8 @@
  * limitations under the License.
  */
 
+#include "hf/arch/barriers.h"
+
 void dmb(void)
 {
 	__asm__ volatile("dmb sy");

src/arch/aarch64/cpu.c

diff --git a/src/arch/aarch64/cpu.c b/src/arch/aarch64/cpu.c
index 49ab032..c13bbf3 100644
--- a/src/arch/aarch64/cpu.c
+++ b/src/arch/aarch64/cpu.c
@@ -14,6 +14,8 @@
  * limitations under the License.
  */
 
+#include "hf/arch/cpu.h"
+
 #include <stdbool.h>
 #include <stddef.h>
 #include <stdint.h>

src/arch/aarch64/msr.h

diff --git a/src/arch/aarch64/msr.h b/src/arch/aarch64/msr.h
index 2eeda06..d55a110 100644
--- a/src/arch/aarch64/msr.h
+++ b/src/arch/aarch64/msr.h
@@ -18,7 +18,7 @@
 
 #include <stddef.h>
 
-#include <hf/arch/cpu.h>
+#include "hf/arch/cpu.h"
 
 #define read_msr(name)                                          \
 	__extension__({                                         \

src/arch/fake/cpu.c

diff --git a/src/arch/fake/cpu.c b/src/arch/fake/cpu.c
index afd9cd5..ab400d2 100644
--- a/src/arch/fake/cpu.c
+++ b/src/arch/fake/cpu.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <hf/arch/cpu.h>
+#include "hf/arch/cpu.h"
 
 void arch_irq_disable(void)
 {