Lines Matching defs:vmcb
67 #include "vmcb.h"
626 vcpu->vmcb = malloc_aligned(sizeof(struct vmcb), PAGE_SIZE, M_SVM,
630 vcpu->vmcb_pa = vtophys(vcpu->vmcb);
663 svm_vcpu_mode(struct vmcb *vmcb)
669 state = &vmcb->state;
672 error = vmcb_seg(vmcb, VM_REG_GUEST_CS, &seg);
765 svm_paging_info(struct vmcb *vmcb, struct vm_guest_paging *paging)
769 state = &vmcb->state;
772 paging->cpu_mode = svm_vcpu_mode(vmcb);
864 svm_handle_inst_emul(struct vmcb *vmcb, uint64_t gpa, struct vm_exit *vmexit)
872 ctrl = &vmcb->ctrl;
878 svm_paging_info(vmcb, paging);
880 error = vmcb_seg(vmcb, VM_REG_GUEST_CS, &seg);
1334 struct vmcb *vmcb;
1344 vmcb = svm_get_vmcb(vcpu);
1345 state = &vmcb->state;
1346 ctrl = &vmcb->ctrl;
1605 svm_handle_inst_emul(vmcb, info2, vmexit);
2219 SVM_CTR1(vcpu, "vmcb clean %#x", ctrl->vmcb_clean);
2259 free(vcpu->vmcb, M_SVM);