Symbol: kvmppc_irq_map