/* Returns the combined value of the cascaded PICs in-service register */ inline static uint16_t get_isr() noexcept { return get_irq_reg(read_isr); }
/* Returns the combined value of the cascaded PICs irq request register */ inline static uint16_t get_irr() noexcept { return get_irq_reg(ocw3_read_irr); }