Lines Matching refs:storedata
2808 STOREDATA.
2810 If STOREDATA is NULL then this is a Load-Linked, meaning
2822 If STOREDATA is not NULL then this is a Store-Conditional,
2825 result = Store-Conditional(addr, storedata, end)
2827 The data transfer type is the type of STOREDATA and RESULT
2833 result = ( ST<end>-Cond(<addr>) = <storedata> )
2846 STOREDATA == NULL (LL):
2848 STOREDATA != NULL (SC):
2849 transfer type = type of STOREDATA, and RESULT :: Ity_I1
2855 IRExpr* storedata; /* NULL => LL, non-NULL => SC */
2914 IRExpr* addr, IRExpr* storedata );
