Searched refs:xgetbv (Results 1 – 3 of 3) sorted by relevance
202 static inline uint64_t xgetbv(uint32_t index) in xgetbv() function584 printf("XSAVE OS supported state mask: 0x%jx\n", xgetbv(0)); in check_mpx_support()593 if ((xgetbv(0) & MPX_XSTATES) != MPX_XSTATES) { in check_mpx_support()
588 static inline u64 xgetbv(u32 index) in xgetbv() function
6709 host_xcr0 = xgetbv(XCR_XFEATURE_ENABLED_MASK); in kvm_arch_init()
