INTCTLB_IPPCI
#define INTCTLF_IPPCI (_ULCAST_(7) << INTCTLB_IPPCI)
cp0_perfcount_irq = (read_c0_intctl() >> INTCTLB_IPPCI) & 7;