Add locking for the hypervisor's page table.
Bug: 133217279
Change-Id: I04216838006b02b03a8f3f900d4dbd18521d5db2
diff --git a/inc/hf/plat/console.h b/inc/hf/plat/console.h
index 604ac26..dbce103 100644
--- a/inc/hf/plat/console.h
+++ b/inc/hf/plat/console.h
@@ -16,6 +16,7 @@
#pragma once
+#include "hf/mm.h"
#include "hf/mpool.h"
#include "hf/vm.h"
@@ -23,7 +24,8 @@
void plat_console_init(void);
/** Initialises any memory mappings that the console driver needs. */
-void plat_console_mm_init(struct mpool *ppool);
+void plat_console_mm_init(struct mm_stage1_locked stage1_locked,
+ struct mpool *ppool);
/** Initialises any per-VM memory mappings that the console driver needs. */
void plat_console_vm_mm_init(struct vm *vm, struct mpool *ppool);