OPENPIC_IDEST
#ifndef OPENPIC_IDEST
openpic_write(sc, OPENPIC_IDEST(irq), 1 << 0);
openpic_write(sc, OPENPIC_IDEST(irq), mask);