vmm.h

Go to the documentation of this file.

// Copyright (c) 2015-2017, Satoshi Tanda. All rights reserved.
// Use of this source code is governed by a MIT-style license that can be
// found in the LICENSE file.


#ifndef HYPERPLATFORM_VMM_H_
#define HYPERPLATFORM_VMM_H_

#include <fltKernel.h>

//
// macro utilities
//

//
// constants and macros
//

//
// types
//

struct SharedProcessorData {
  volatile long reference_count;  
  void* msr_bitmap;               
  void* io_bitmap_a;              
  void* io_bitmap_b;              
};

struct ProcessorData {
  SharedProcessorData* shared_data;         
  void* vmm_stack_limit;                    
  struct VmControlStructure* vmxon_region;  
  struct VmControlStructure* vmcs_region;   
  struct EptData* ept_data;                 
};

//
// prototypes
//

//
// variables
//

//
// implementations
//

#endif  // HYPERPLATFORM_VMM_H_