Lines Matching refs:vmcb
41 #include "vmcb.h"
59 vmcb_segptr(struct vmcb *vmcb, int type)
64 state = &vmcb->state;
119 struct vmcb *vmcb;
123 vmcb = svm_get_vmcb(softc, vcpu);
127 if ((off + bytes) >= sizeof (struct vmcb))
130 ptr = (char *)vmcb;
163 struct vmcb *vmcb;
168 vmcb = svm_get_vmcb(sc, vcpu);
169 state = &vmcb->state;
228 seg = vmcb_segptr(vmcb, ident);
253 struct vmcb *vmcb;
258 vmcb = svm_get_vmcb(sc, vcpu);
259 state = &vmcb->state;
328 seg = vmcb_segptr(vmcb, ident);
350 vmcb_seg(struct vmcb *vmcb, int ident, struct vmcb_segment *seg2)
354 seg = vmcb_segptr(vmcb, ident);
366 struct vmcb *vmcb;
372 vmcb = svm_get_vmcb(sc, vcpu);
374 seg = vmcb_segptr(vmcb, reg);
418 struct vmcb *vmcb;
423 vmcb = svm_get_vmcb(sc, vcpu);
424 seg = vmcb_segptr(vmcb, reg);