Symbol: vmm_handle_xsetbv
sys/arch/amd64/amd64/vmm_machdep.c
106
int vmm_handle_xsetbv(struct vcpu *, uint64_t *);
sys/arch/amd64/amd64/vmm_machdep.c
5896
ret = vmm_handle_xsetbv(vcpu, rax);
sys/arch/amd64/amd64/vmm_machdep.c
5927
ret = vmm_handle_xsetbv(vcpu, rax);