Lines Matching defs:vmcb
43 #include "vmcb.h"
61 vmcb_segptr(struct vmcb *vmcb, int type)
66 state = &vmcb->state;
120 struct vmcb *vmcb;
124 vmcb = svm_get_vmcb(vcpu);
128 if ((off + bytes) >= sizeof (struct vmcb))
131 ptr = (char *)vmcb;
164 struct vmcb *vmcb;
169 vmcb = svm_get_vmcb(vcpu);
170 state = &vmcb->state;
229 seg = vmcb_segptr(vmcb, ident);
237 seg = vmcb_segptr(vmcb, ident == VM_REG_GUEST_FS_BASE ?
270 struct vmcb *vmcb;
275 vmcb = svm_get_vmcb(vcpu);
276 state = &vmcb->state;
345 seg = vmcb_segptr(vmcb, ident);
367 vmcb_seg(struct vmcb *vmcb, int ident, struct vmcb_segment *seg2)
371 seg = vmcb_segptr(vmcb, ident);
383 struct vmcb *vmcb;
387 vmcb = svm_get_vmcb(vcpu);
389 seg = vmcb_segptr(vmcb, reg);
433 struct vmcb *vmcb;
436 vmcb = svm_get_vmcb(vcpu);
437 seg = vmcb_segptr(vmcb, reg);