Symbol: x86_xgetbv
usr.sbin/cpuctl/arch/cpuctl_i386.h
56
uint32_t x86_xgetbv(void);
usr.sbin/cpuctl/arch/i386.c
2167
x86_xgetbv());