MANTIS_INT_RISCI
if (stat & MANTIS_INT_RISCI) {
MANTIS_INT_RISCI);
if (stat & MANTIS_INT_RISCI) {
MANTIS_INT_RISCI);
mantis_unmask_ints(mantis, MANTIS_INT_RISCI);
mantis_mask_ints(mantis, MANTIS_INT_RISCI | MANTIS_INT_RISCEN);