xgetbv
static __always_inline u64 xgetbv(u32 index)
static inline u64 xgetbv(u32 index)
static inline uint64_t xgetbv(uint32_t index)