Searched refs:x86_xsetbv (Results 1 - 3 of 3) sorted by relevance

/fuchsia/zircon/kernel/arch/x86/
H A Dregisters.cpp130 x86_xsetbv(0, X86_XSAVE_STATE_BIT_X87);
255 x86_xsetbv(0, x86_xgetbv(0) | X86_XSAVE_STATE_BIT_X87);
283 x86_xsetbv(0, x86_xgetbv(0) | X86_XSAVE_STATE_BIT_SSE);
298 x86_xsetbv(0, x86_xgetbv(0) | X86_XSAVE_STATE_BIT_AVX);
315 x86_xsetbv(0, x86_xgetbv(0) | xsave_avx512);
563 void x86_xsetbv(uint32_t reg, uint64_t val) { function
/fuchsia/zircon/kernel/arch/x86/include/arch/x86/
H A Dregisters.h195 void x86_xsetbv(uint32_t reg, uint64_t val);
/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu.cpp734 x86_xsetbv(0, vmx_state_.guest_state.xcr0);
747 x86_xsetbv(0, vmx_state_.host_state.xcr0);

Completed in 29 milliseconds