Stellt eine abgebrochene xbegin-Transaktion den Stapelkontext wieder her, der beim xbegin-Start vorhanden war?

Ich bin daran interessiert, ein transaktionales xbegin und xend in XBEGIN () - und XEND () -Funktionen in einer statischen Assembler-Bibliothek zu kapseln. Es ist jedoch unklar, wie (oder ob) der Stapel in den ursprünglichen xbegin-Aufrufzustand ...