powerpc_fw_config_intr
int powerpc_fw_config_intr(int irq, int sense_code);
powerpc_fw_config_intr(intr, irq[1]);