118 vmcb_access(struct svm_vcpu *vcpu, int write, int ident, uint64_t *val)  in vmcb_access()  argument
124 	vmcb	= svm_get_vmcb(vcpu);  in vmcb_access()
147 		SVM_CTR1(vcpu, "Invalid size %d for VMCB access: %d", bytes);  in vmcb_access()
153 		svm_set_dirty(vcpu, 0xffffffff);  in vmcb_access()
162 vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval)  in vmcb_read()  argument
169 	vmcb = svm_get_vmcb(vcpu);  in vmcb_read()
174 		return (vmcb_access(vcpu, 0, ident, retval));  in vmcb_read()
248 		*retval = vlapic_get_cr8(vm_lapic(vcpu->vcpu));  in vmcb_read()
268 vmcb_write(struct svm_vcpu *vcpu, int ident, uint64_t val)  in vmcb_write()  argument
275 	vmcb = svm_get_vmcb(vcpu);  in vmcb_write()
281 		return (vmcb_access(vcpu, 1, ident, &val));  in vmcb_write()
286 		svm_set_dirty(vcpu, VMCB_CACHE_CR);  in vmcb_write()
291 		svm_set_dirty(vcpu, VMCB_CACHE_CR2);  in vmcb_write()
296 		svm_set_dirty(vcpu, VMCB_CACHE_CR);  in vmcb_write()
301 		svm_set_dirty(vcpu, VMCB_CACHE_CR);  in vmcb_write()
306 		svm_set_dirty(vcpu, VMCB_CACHE_DR);  in vmcb_write()
311 		svm_set_dirty(vcpu, VMCB_CACHE_DR);  in vmcb_write()
317 		svm_set_dirty(vcpu, VMCB_CACHE_CR);  in vmcb_write()
350 			svm_set_dirty(vcpu, VMCB_CACHE_SEG);  in vmcb_write()
381 vmcb_setdesc(struct svm_vcpu *vcpu, int reg, struct seg_desc *desc)  in vmcb_setdesc()  argument
387 	vmcb = svm_get_vmcb(vcpu);  in vmcb_setdesc()
409 	SVM_CTR4(vcpu, "Setting desc %d: base (%#lx), limit (%#x), "  in vmcb_setdesc()
417 		svm_set_dirty(vcpu, VMCB_CACHE_SEG);  in vmcb_setdesc()
421 		svm_set_dirty(vcpu, VMCB_CACHE_DT);  in vmcb_setdesc()
431 vmcb_getdesc(struct svm_vcpu *vcpu, int reg, struct seg_desc *desc)  in vmcb_getdesc()  argument
436 	vmcb = svm_get_vmcb(vcpu);  in vmcb_getdesc()
471 vmcb_getany(struct svm_vcpu *vcpu, int ident, uint64_t *val)  in vmcb_getany()  argument
480 	error = vmcb_read(vcpu, ident, val);  in vmcb_getany()
487 vmcb_setany(struct svm_vcpu *vcpu, int ident, uint64_t val)  in vmcb_setany()  argument
496 	error = vmcb_write(vcpu, ident, val);  in vmcb_setany()
503 vmcb_snapshot_desc(struct svm_vcpu *vcpu, int reg,  in vmcb_snapshot_desc()  argument
510 		ret = vmcb_getdesc(vcpu, reg, &desc);  in vmcb_snapshot_desc()
522 		ret = vmcb_setdesc(vcpu, reg, &desc);  in vmcb_snapshot_desc()
535 vmcb_snapshot_any(struct svm_vcpu *vcpu, int ident,  in vmcb_snapshot_any()  argument
542 		ret = vmcb_getany(vcpu, ident, &val);  in vmcb_snapshot_any()
550 		ret = vmcb_setany(vcpu, ident, val);  in vmcb_snapshot_any()