sys/amd64/vmm/amd/svm.c

137

static int svm_getreg(void *vcpui, int ident, uint64_t *val);

sys/amd64/vmm/amd/svm.c

1456

svm_getreg(vcpu, VM_REG_GUEST_DR6, &dr6);

sys/amd64/vmm/amd/svm.c

1477

svm_getreg(vcpu, VM_REG_GUEST_RFLAGS,

sys/amd64/vmm/amd/svm.c

1641

svm_getreg(vcpu, VM_REG_GUEST_RFLAGS, &rflags);

sys/amd64/vmm/amd/svm.c

1660

svm_getreg(vcpu, VM_REG_GUEST_RFLAGS, &rflags);

sys/amd64/vmm/amd/svm.c

2426

ret = svm_getreg(vcpui, ident, &val);

sys/amd64/vmm/amd/svm.c

2486

if (svm_getreg(vcpu, VM_REG_GUEST_RFLAGS, &rflags)) {

sys/amd64/vmm/amd/svm.c

2840

.getreg = svm_getreg,