Develop and Download Open Source Software

TinyVisor

Browse Subversion Repository

/[tinyvisor]/branches/ept-devel/vmm/core/vt_ept.c

Diff of /branches/ept-devel/vmm/core/vt_ept.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 24 by yuichi_xy, Thu May 3 12:24:43 2012 UTC revision 25 by yuichi_xy, Fri May 4 15:02:17 2012 UTC
# Line 37  Line 37 
37  #include "asm.h"  #include "asm.h"
38  #include "cpu_mmu.h"  #include "cpu_mmu.h"
39  #include "mm.h"  #include "mm.h"
40    #include "mtrr.h"
41  #include "vt_internal.h"  #include "vt_internal.h"
42  #include "constants.h"  #include "constants.h"
43  #include "current.h"  #include "current.h"
# Line 49  Line 50 
50  #define EPT_WRITE               0x2  #define EPT_WRITE               0x2
51  #define EPT_EXECUTE             0x4  #define EPT_EXECUTE             0x4
52  #define EPT_VAILED_MASK         0x7  #define EPT_VAILED_MASK         0x7
53    #define EPT_MEMTYPE_TO_PTE(memtype)     ((memtype) << 3)
54    
55  #define EPT_WB                  0x6  #define VMCS_EPT_POINTER_ADDR_WB                0x6
56  #define EPT_LENGTH              ((EPT_MAX_LEVEL - 1) << 3)  #define VMCS_EPT_POINTER_ADDR_EPT_LENGTH        ((EPT_MAX_LEVEL - 1) << 3)
57    
58  #define VMCS_EXIT_QUALIFICATION_READ_BIT                0x1  #define VMCS_EXIT_QUALIFICATION_READ_BIT                0x1
59  #define VMCS_EXIT_QUALIFICATION_WRITE_BIT               0x2  #define VMCS_EXIT_QUALIFICATION_WRITE_BIT               0x2
# Line 125  vt_ept_init(void) Line 127  vt_ept_init(void)
127          asm_vmwrite (VMCS_PAGEFAULT_ERRCODE_MATCH, 0xffffffff);          asm_vmwrite (VMCS_PAGEFAULT_ERRCODE_MATCH, 0xffffffff);
128    
129          asm_vmwrite64(VMCS_EPT_POINTER_ADDR,          asm_vmwrite64(VMCS_EPT_POINTER_ADDR,
130                        vt_data->ept_l4tbl | EPT_WB | EPT_LENGTH);                        vt_data->ept_l4tbl |
131                          VMCS_EPT_POINTER_ADDR_WB |
132                          VMCS_EPT_POINTER_ADDR_EPT_LENGTH);
133  }  }
134    
135  static u64 *  static u64 *
# Line 190  vt_ept_violation(void) Line 194  vt_ept_violation(void)
194          struct vt_vm_data       *vt_data = &current->vm->vt;          struct vt_vm_data       *vt_data = &current->vm->vt;
195          void                    *ept_l4tbl;          void                    *ept_l4tbl;
196          u64                     *pte;          u64                     *pte;
197            u8                      memtype;
198          phys_t                  gphys;          phys_t                  gphys;
199          phys_t                  hphys;          phys_t                  hphys;
200          vmmerr_t                ret;          vmmerr_t                ret;
# Line 227  vt_ept_violation(void) Line 232  vt_ept_violation(void)
232                  return;                  return;
233          }          }
234    
235            memtype = mtrr_get_mem_type(hphys);
236    
237          spinlock_lock(&vt_data->ept_lock);          spinlock_lock(&vt_data->ept_lock);
238          ept_l4tbl = (void *)phys_to_virt(vt_data->ept_l4tbl);          ept_l4tbl = (void *)phys_to_virt(vt_data->ept_l4tbl);
239          pte = vt_ept_walk(gphys, ept_l4tbl);          pte = vt_ept_walk(gphys, ept_l4tbl);
# Line 237  vt_ept_violation(void) Line 244  vt_ept_violation(void)
244                                "gphys 0x%llx, hphys 0x%llx, pte 0x%llx",                                "gphys 0x%llx, hphys 0x%llx, pte 0x%llx",
245                                gphys, hphys, *pte);                                gphys, hphys, *pte);
246                  }                  }
                 printf("EPT PTE is already set. "  
                       "gphys 0x%llx, hphys 0x%llx, pte 0x%llx",  
                       gphys, hphys, *pte);  
247          } else {          } else {
248                  *pte = (hphys & PAGE_MASK) |                  *pte = (hphys & PAGE_MASK) |
249                          EPT_READ | EPT_WRITE | EPT_EXECUTE; /* UC for now */                          EPT_READ | EPT_WRITE | EPT_EXECUTE |
250                            EPT_MEMTYPE_TO_PTE(memtype) |
251                            0x40; /* Force ept mem type for now */
252          }          }
253    
254          spinlock_unlock(&vt_data->ept_lock);          spinlock_unlock(&vt_data->ept_lock);
Legend:
Removed from v.24  
changed lines
  Added in v.25
About SourceForge.JP
Find Software
Develop Software
Community
Help
SourceForge.JP is a Japanese version of SourceForge.net. For developments that are not related to Japan, we recommend you to use SourceForge.net.