// 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;