OPENPIC_IDEST
u3_ht_write(u3_ht, OPENPIC_IDEST(irq), 1 << 0);
u3_ht_write(u3_ht, OPENPIC_IDEST(irq), 1 << 0);
u3_ht_write(u3_ht, OPENPIC_IDEST(i), cpumask);
#ifndef OPENPIC_IDEST
openpic_write(OPENPIC_IDEST(i), cpumask);
openpic_write(OPENPIC_IDEST(irq), 1 << 0);