Symbol: pcibios_map_platform_irq