VMM: EPT checks, init, and basic usage
[akaros.git] / kern / arch / x86 / vmm / vmm.h
index 7e604bc..a124ec7 100644 (file)
@@ -49,5 +49,7 @@ int intel_vmx_setup(int nvmcs);
 
 struct vmx_vcpu *vmx_create_vcpu(struct proc *p);
 void vmx_destroy_vcpu(struct vmx_vcpu *vcpu);
+uint64_t construct_eptp(physaddr_t root_hpa);
+void ept_flush(uint64_t eptp);
 
 #endif /* _VMM_H_ */