commit 22d5eaa57060ebe34d3a76fa0c09c744d05114c4
author Wedson Almeida Filho <wedsonaf@google.com> Sun Dec 16 00:38:49 2018 +0000
committer Wedson Almeida Filho <wedsonaf@google.com> Mon Dec 17 15:46:02 2018 +0000
tree 23b6f53f85aeda0bb42f0a97891b15cb110bc303
parent 11a9b0bbb0f29e78b8fe74c9c86f8c2d6e31161b

Use explicit page pool in page table manipulation.

Change-Id: Ibc3c21f815dfae54a541581941e553f79caaaace

inc/hf/api.h

diff --git a/inc/hf/api.h b/inc/hf/api.h
index 692fbac..94e3327 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -17,10 +17,12 @@
 #pragma once
 
 #include "hf/cpu.h"
+#include "hf/mpool.h"
 #include "hf/vm.h"
 
 #include "vmapi/hf/call.h"
 
+void api_init(struct mpool *ppool);
 int64_t api_vm_get_count(void);
 int64_t api_vcpu_get_count(uint32_t vm_id, const struct vcpu *current);
 struct hf_vcpu_run_return api_vcpu_run(uint32_t vm_id, uint32_t vcpu_idx,