/* Returns the combined value of the cascaded PICs in-service register */ unsigned short pic_get_isr(void) { return __pic_get_irq_reg(PIC_READ_ISR); }
/* Returns the combined value of the cascaded PICs irq request register */ uint16_t pic_get_irr(void) { return __pic_get_irq_reg(PIC_READ_IRR); }