Searched refs:aSSUMED_XCR0_VALUE (Results 1 – 1 of 1) sorted by relevance
11865 const ULong aSSUMED_XCR0_VALUE = 7; in dis_XSAVE() local11874 mkU64(aSSUMED_XCR0_VALUE))); in dis_XSAVE()12120 const ULong aSSUMED_XCR0_VALUE = 7; in dis_XRSTOR() local12129 mkU64(aSSUMED_XCR0_VALUE))); in dis_XRSTOR()12155 binop(Iop_And64, mkexpr(xstate_bv), mkU64(~aSSUMED_XCR0_VALUE)), in dis_XRSTOR()