NSR
(void) CSR_READ_1(l, NSR);
val = CSR_READ_1(l, NSR);
CSR_WRITE_1(l, NSR, ~0);
} else if (NSR & 0x80) { /* nexus */
NSR,
SSR, r, NSR, SCR);
if (NSR & 0x80)