refactor(mm): use typedefs
* Add typedefs for memory modes and attrs
* Add typedef for page table levels
* Add typedef for the ptable ASID
* Rewrite `MM_MODE_` macros to use shifts instead of writing the
value manually.
Change-Id: I783825777b4897692d48287fc689026a04ecba50
Signed-off-by: Karl Meakin <karl.meakin@arm.com>
diff --git a/src/vcpu_test.cc b/src/vcpu_test.cc
index 7cf76d7..987bf98 100644
--- a/src/vcpu_test.cc
+++ b/src/vcpu_test.cc
@@ -9,6 +9,8 @@
#include <gmock/gmock.h>
extern "C" {
+#include "hf/arch/mm.h"
+
#include "hf/check.h"
#include "hf/vcpu.h"
#include "hf/vm.h"