linux/arch/ia64/sn/io/platform_init