void svm_vm_init() { info->vm.dr_shadow[4].raw = 0xffff0ff0; info->vm.dr_shadow[5].raw = 0x400; svm_vmcb_init(); }
void svm_vm_init() { info->vm.dr_shadow[4].raw = 0xffff0ff0; info->vm.dr_shadow[5].raw = 0x400; svm_vmcb_init(); /* vmrun needs vmcb addr in eax */ info->vm.cpu.gpr->rax.raw = (offset_t)&info->vm.cpu.vmc->vm_vmcb; }
void svm_vminit (void) { current->u.svm.np = NULL; svm_vmcb_init (); /* svm_msr_init (); */ if (current->u.svm.vi.vmcb->np_enable) svm_np_init (); else cpu_mmu_spt_init (); call_initfunc ("vcpu"); }