Searched refs:xgetbv (Results 1 – 3 of 3) sorted by relevance
99 xgetbv(uint32_t c) in xgetbv() function
173 saved_xcr0 = xgetbv(XCR0); in ucode_cpuid_set_info()
289 kprintf("XCR0: 0x%016llx\n", xgetbv(XCR0)); in DBG_AVX512_STATE()290 kprintf("XINUSE: 0x%016llx\n", xgetbv(1)); in DBG_AVX512_STATE()708 …assertf(fpu_YMM_capable ? (xgetbv(XCR0) == xstate_xmask[cdp->cpu_xstate]) : TRUE, "XCR0 mismatch: … in fpu_switch_context()1654 assert(xgetbv(XCR0) == AVX_XMASK); in fpUDflt()