// we've got an exception to raise, so let's pass it to the
// handler in this frame.
//
// we've got an exception to raise, so let's pass it to the
// handler in this frame.
//
TICK_ALLOC_SE_THK(1,0);
SET_HDR(raise,&stg_raise_info,cf->header.prof.ccs);
raise->payload[0] = exception;
TICK_ALLOC_SE_THK(1,0);
SET_HDR(raise,&stg_raise_info,cf->header.prof.ccs);
raise->payload[0] = exception;
stmCondemnTransaction(cap, tso -> trec);
tso->sp = frame - 2;
// The ATOMICALLY_FRAME expects to be returned a
stmCondemnTransaction(cap, tso -> trec);
tso->sp = frame - 2;
// The ATOMICALLY_FRAME expects to be returned a
debugTrace(DEBUG_stm,
"found atomically block delivering async exception");
stmAbortTransaction(cap, trec);
debugTrace(DEBUG_stm,
"found atomically block delivering async exception");
stmAbortTransaction(cap, trec);