Lines Matching defs:xst_flags
2941 uint64_t xst_flags = 0;
3532 xst_flags |= XCR0_X87;
3535 xst_flags |= XCR0_Opmask | XCR0_ZMM_Hi256;
3537 xst_flags |= XCR0_Hi16_ZMM;
3541 xst_flags |= XCR0_YMM_Hi128;
3544 xst_flags |= XCR0_SSE;
3599 ATF_REQUIRE((xst.xs_rfbm & xst_flags) == xst_flags);
3602 xst.xs_rfbm = xst_flags;
3603 xst.xs_xstate_bv = xst_flags;
3606 ATF_REQUIRE((xst.xs_xstate_bv & xst_flags)
3607 == xst_flags);
3664 ATF_REQUIRE((xst.xs_xstate_bv & xst_flags)
3665 == xst_flags);