Symbol: xsetbv_user
sys/arch/amd64/amd64/vmm_machdep.c
3442
if (xsetbv_user(0, vcpu->vc_gueststate.vg_xcr0)) {
sys/arch/amd64/include/fpu.h
80
int xsetbv_user(uint32_t _reg, uint64_t _mask);