openpic_read_irq
openpic_read_irq(ci->ci_cpuid);
openpic_read_irq(0);
irq = openpic_read_irq(ci->ci_cpuid);
irq = openpic_read_irq(ci->ci_cpuid);
irq = openpic_read_irq(ci->ci_cpuid);