Symbol: svm_handle_xsetbv
sys/arch/amd64/amd64/vmm_machdep.c
108
int svm_handle_xsetbv(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4263
ret = svm_handle_xsetbv(vcpu);