VMM: refactor MSR emulation
[akaros.git] / kern / arch / x86 / vmm / vmm.h
index 7e604bc..4dfeb9d 100644 (file)
@@ -1,5 +1,6 @@
-#ifndef _VMM_H_
-#define        _VMM_H_
+#pragma once
+
+#include <ros/vmm.h>
 
 static inline int cpu_has_vmx(void)
 {
@@ -13,6 +14,8 @@ static inline int cpu_has_svm(const char **msg)
        return 0;
 }
 
+#define VMM_VMEXIT_NR_TYPES            65
+
 struct vmm {
        qlock_t qlock;
        // always false.
@@ -20,6 +23,8 @@ struct vmm {
        // true if this is a VMMCP.
        bool vmmcp;
 
+       int flags;
+
        // Number of cores in this VMMCP.
        int nr_guest_pcores;
 
@@ -35,19 +40,22 @@ struct vmm {
                void *svm;
                struct vmx_vcpu **guest_pcores;
        };
+       unsigned long vmexits[VMM_VMEXIT_NR_TYPES];
 };
 
 void vmm_init(void);
 void vmm_pcpu_init(void);
 
-int vmm_struct_init(struct proc *p, unsigned int nr_guest_pcores);
+int vmm_struct_init(struct proc *p, unsigned int nr_guest_pcores,
+                    struct vmm_gpcore_init *gpcis, int flags);
 void __vmm_struct_cleanup(struct proc *p);
 
-int vm_run(uint64_t,uint64_t, uint64_t);
+int vm_post_interrupt(struct vmctl *v);
+int vm_run(struct vmctl *);
 int intel_vmx_start(int id);
 int intel_vmx_setup(int nvmcs);
 
-struct vmx_vcpu *vmx_create_vcpu(struct proc *p);
+struct vmx_vcpu *vmx_create_vcpu(struct proc *p, struct vmm_gpcore_init *gpci);
 void vmx_destroy_vcpu(struct vmx_vcpu *vcpu);
-
-#endif /* _VMM_H_ */
+uint64_t construct_eptp(physaddr_t root_hpa);
+void ept_flush(uint64_t eptp);