Lines Matching refs:storedata
2299 STOREDATA.
2301 If STOREDATA is NULL then this is a Load-Linked, meaning
2313 If STOREDATA is not NULL then this is a Store-Conditional,
2316 result = Store-Conditional(addr, storedata, end)
2318 The data transfer type is the type of STOREDATA and RESULT
2324 result = ( ST<end>-Cond(<addr>) = <storedata> )
2337 STOREDATA == NULL (LL):
2339 STOREDATA != NULL (SC):
2340 transfer type = type of STOREDATA, and RESULT :: Ity_I1
2346 IRExpr* storedata; /* NULL => LL, non-NULL => SC */
2401 IRExpr* addr, IRExpr* storedata );
