Lines Matching refs:storedata
2659 STOREDATA.
2661 If STOREDATA is NULL then this is a Load-Linked, meaning
2673 If STOREDATA is not NULL then this is a Store-Conditional,
2676 result = Store-Conditional(addr, storedata, end)
2678 The data transfer type is the type of STOREDATA and RESULT
2684 result = ( ST<end>-Cond(<addr>) = <storedata> )
2697 STOREDATA == NULL (LL):
2699 STOREDATA != NULL (SC):
2700 transfer type = type of STOREDATA, and RESULT :: Ity_I1
2706 IRExpr* storedata; /* NULL => LL, non-NULL => SC */
2765 IRExpr* addr, IRExpr* storedata );
