52 	GET_PDA(p5, r7);
53 	r7 = [p5 + PDA_LFRETX];  define
56 	cc = r6 == r7;
97 	DEBUG_HWTRACE_SAVE(p5, r7)
107 	r7 = SEQSTAT;           /* reason code is in bit 5:0 */  define
110 	r7 = r7 & r6;  define
116 	DEBUG_HWTRACE_RESTORE(p5, r7)
131 	r7 = retx;  define
133 	cc = r7 == r6;
149 	r7 = 10;  define
154 	r7 += -1;
155 	cc = r7 == 0;
165 	cc = r6 < r7;
173 	r7 = 0xffe0 (z);  define
174 	r7 = r7 & r6;  define
175 	cc = r7 == 0;
186 	r7 = [p5];  define
187 	cc = bittst(r7, EVT_IVHW_P);
192 	r7 = syscfg;  define
193 	bitclr (r7, SYSCFG_SSSTEP_P);
210 	r7 = rot r7 by -1;  define
219 	r7 = [p5];  define
220 	r7 += 2;
225 	r7 = syscfg;  define
226 	bitclr (r7, SYSCFG_SSSTEP_P);	/* Turn off single step */
244 	r7 = SEQSTAT;           /* reason code is in bit 5:0 */  define
247 	r7 = r7 & r6;  define
260 	DEBUG_HWTRACE_RESTORE(p5, r7)
285 	r7 = [p4];  define
286 	CC = BITTST (r7, 5);
288 	[p5 + PDA_EXIPEND] = r7;
294 	r7.h = _exception_to_level5;
295 	r7.l = _exception_to_level5;
298 	[p4] = r7;
310 	r7 = [p4];  define
311 	[p5 + PDA_DCPLB] = r7;
411 	GET_PDA(p5, r7);        /* Fetch current PDA */
422 	r7.h = _evt_ivhw;
423 	r7.l = _evt_ivhw;
426 	[p4] = r7;
438 	r7 = [p5 + PDA_EXIPEND]	/* Read the IPEND from the Exception state */  define
439 	[sp + PT_IPEND] = r7;   /* Store IPEND onto the stack */
449 	CC = BITTST(r7, EVT_IRPTEN_P)
478 	ANOMALY_283_315_WORKAROUND(p5, r7)
498 	GET_PDA(p5, r7);
501 	r7 = [p4];  define
502 	[p5 + PDA_DF_DCPLB] = r7;
506 	r7 = [p4];  define
507 	[p5 + PDA_DF_ICPLB] = r7;
509 	r7 = retx;  define
510 	[p5 + PDA_DF_RETX] = r7;
512 	r7 = SEQSTAT;		/* reason code is in bit 5:0 */  define
513 	[p5 + PDA_DF_SEQSTAT] = r7;
515 	r7 = SEQSTAT;           /* reason code is in bit 5:0 */  define
519 	r7 = r7 & r6;  define
522 	p4 = r7;
528 	r7 = -ENOSYS; 		/* signextending enough */  define
529 	[sp + PT_R0] = r7;	/* return value from system call */
545 	r7 = sp;  define
548 	r7 = r7 & r6;  		/* thread_info */  define
549 	p2 = r7;
568 	r7 = sp;  define
571 	r7 = r7 & r6;  define
572 	p2 = r7;
573 	r7 = [p2+TI_FLAGS];  define
574 	CC = BITTST(r7,TIF_SYSCALL_TRACE);
576 	CC = BITTST(r7,TIF_SINGLESTEP);
605 	r7 = sp;  define
608 	r7 = r7 & r4;		/* thread_info->flags */  define
609 	p5 = r7;
615 	r7 = [p5 + TI_FLAGS];  define
618 	r7 =  r7 & r4;  define
622 	cc = BITTST(r7, TIF_IRQ_SYNC);
638 	cc = BITTST(r7, TIF_NEED_RESCHED);
652 	cc = BITTST(r7, TIF_SIGPENDING);
654 	cc = BITTST(r7, TIF_NOTIFY_RESUME);
721 	[--sp] = (r7:4, p5:3);
751 	(r7:4, p5:3) = [sp++];
801 	r7 = sp;  define
804 	r7 = r7 & r4;		/* thread_info->flags */  define
805 	p5 = r7;
806 	r7 = [p5 + TI_FLAGS];  define
809 	r7 =  r7 & r4;  define
810 	cc = r7 == 0;
903 	[--sp] = ( r7:4, p5:3 );
907 	( r7:4, p5:3 ) = [sp++];
916 	r7 = sp;  define
919 	r7 = r7 & r4;  define
920 	p5 = r7;
921 	r7 = [p5 + TI_PREEMPT];  define
922 	cc = r7 == 0x0;
925 	r7 = [p5 + TI_FLAGS];  define
928 	r7 =  r7 & r4;  define
929 	cc = BITTST(r7, TIF_NEED_RESCHED);