openpic_read
return openpic_read(OPENPIC_IACK(cpu)) & OPENPIC_VECTOR_MASK;
x = openpic_read(OPENPIC_CONFIG) | OPENPIC_CONFIG_RESET;
while (openpic_read(OPENPIC_CONFIG) & OPENPIC_CONFIG_RESET)
openpic_numirq = ((openpic_read(OPENPIC_FEATURE) >> 16) & 0x7f)+1;
openpic_read(OPENPIC_VENDOR_ID),
openpic_read(OPENPIC_FEATURE),
x = openpic_read(OPENPIC_CONFIG);
x = openpic_read(OPENPIC_SRC_VECTOR(irq));
openpic_read(OPENPIC_CPU_PRIORITY(ci->ci_cpuid)));
u_int openpic_read(int reg);