Lines Matching refs:vmcb
61 #include "vmcb.h"
565 vcpu->vmcb_pa = vtophys(&vcpu->vmcb);
598 svm_vcpu_mode(struct vmcb *vmcb)
604 state = &vmcb->state;
607 error = vmcb_seg(vmcb, VM_REG_GUEST_CS, &seg);
700 svm_paging_info(struct vmcb *vmcb, struct vm_guest_paging *paging)
704 state = &vmcb->state;
707 paging->cpu_mode = svm_vcpu_mode(vmcb);
800 svm_handle_inst_emul(struct vmcb *vmcb, uint64_t gpa, struct vm_exit *vmexit)
808 ctrl = &vmcb->ctrl;
814 svm_paging_info(vmcb, paging);
816 error = vmcb_seg(vmcb, VM_REG_GUEST_CS, &seg);
1283 struct vmcb *vmcb;
1293 vmcb = svm_get_vmcb(svm_sc, vcpu);
1294 state = &vmcb->state;
1295 ctrl = &vmcb->ctrl;
1489 svm_handle_inst_emul(vmcb, info2, vmexit);
2011 VCPU_CTR1(vm, vcpu, "vmcb clean %#x", ctrl->vmcb_clean);