Lines Matching refs:vmcb
63 #include "vmcb.h"
596 vcpu->vmcb_pa = vtophys(&vcpu->vmcb);
629 svm_vcpu_mode(struct vmcb *vmcb)
635 state = &vmcb->state;
638 error = vmcb_seg(vmcb, VM_REG_GUEST_CS, &seg);
731 svm_paging_info(struct vmcb *vmcb, struct vm_guest_paging *paging)
735 state = &vmcb->state;
738 paging->cpu_mode = svm_vcpu_mode(vmcb);
831 svm_handle_inst_emul(struct vmcb *vmcb, uint64_t gpa, struct vm_exit *vmexit)
839 ctrl = &vmcb->ctrl;
845 svm_paging_info(vmcb, paging);
847 error = vmcb_seg(vmcb, VM_REG_GUEST_CS, &seg);
1301 struct vmcb *vmcb;
1311 vmcb = svm_get_vmcb(svm_sc, vcpu);
1312 state = &vmcb->state;
1313 ctrl = &vmcb->ctrl;
1507 svm_handle_inst_emul(vmcb, info2, vmexit);
2078 VCPU_CTR1(vm, vcpu, "vmcb clean %#x", ctrl->vmcb_clean);