xgetbv
xgetbv(uint32_t ecx, uint32_t *out_eax, uint32_t *out_edx)
xgetbv(uint32_t reg)
static inline uint64_t xgetbv(uint32_t ecx)