/* * Called by the CURRENT thread to store a word-sized value. */ _CALLCONV ALIGNED void stm_store(volatile stm_word_t *addr, stm_word_t value) { TX_GET; // printf("store : %lu addr %d value\n" , addr ,value) ; int_stm_store(tx, addr, value); }
_CALLCONV void stm_store_tx(stm_tx_t *tx, volatile stm_word_t *addr, stm_word_t value) { int_stm_store(tx, addr, value); }
/* * Called by the CURRENT thread to store a word-sized value. */ _CALLCONV ALIGNED void stm_store(volatile stm_word_t *addr, stm_word_t value) { TX_GET; int_stm_store(tx, addr, value); }