Lines Matching defs:xgetbv
202 static inline uint64_t xgetbv(uint32_t index)
206 asm volatile(".byte 0x0f,0x01,0xd0" /* xgetbv */
519 #define XSAVE_FEATURE_BIT (26) /* XSAVE/XRSTOR/XSETBV/XGETBV */
553 printf("XSAVE OS supported state mask: 0x%jx\n", xgetbv(0));
562 if ((xgetbv(0) & MPX_XSTATES) != MPX_XSTATES) {
