vmm/amd/vmcb.c

28 __FBSDID("$FreeBSD: releng/10.3/sys/amd64/vmm/amd/vmcb.c 284900 2015-06-28 03:22:26Z neel $");
39 #include "vmcb.h"
57 vmcb_segptr(struct vmcb *vmcb, int type)
62 	state = &vmcb->state;
117 	struct vmcb *vmcb;
121 	vmcb	= svm_get_vmcb(softc, vcpu);
125 	if ((off + bytes) >= sizeof (struct vmcb))
128 	ptr = (char *)vmcb;
161 	struct vmcb *vmcb;
166 	vmcb = svm_get_vmcb(sc, vcpu);
167 	state = &vmcb->state;
222 		seg = vmcb_segptr(vmcb, ident);
247 	struct vmcb *vmcb;
252 	vmcb = svm_get_vmcb(sc, vcpu);
253 	state = &vmcb->state;
316 		seg = vmcb_segptr(vmcb, ident);
338 vmcb_seg(struct vmcb *vmcb, int ident, struct vmcb_segment *seg2)
342 	seg = vmcb_segptr(vmcb, ident);
354 	struct vmcb *vmcb;
360 	vmcb = svm_get_vmcb(sc, vcpu);
362 	seg = vmcb_segptr(vmcb, reg);
406 	struct vmcb *vmcb;
411 	vmcb = svm_get_vmcb(sc, vcpu);
412 	seg = vmcb_segptr(vmcb, reg);