1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/module.h>
3 #include <linux/dma-mapping.h>
4 #include <asm/machvec.h>
6 #ifdef CONFIG_IA64_GENERIC
8 #include <linux/kernel.h>
9 #include <linux/string.h>
13 struct ia64_machine_vector ia64_mv = {
14 .mmiowb = ___ia64_mmiowb
16 EXPORT_SYMBOL(ia64_mv);
18 static struct ia64_machine_vector * __init
19 lookup_machvec (const char *name)
21 extern struct ia64_machine_vector machvec_start[];
22 extern struct ia64_machine_vector machvec_end[];
23 struct ia64_machine_vector *mv;
25 for (mv = machvec_start; mv < machvec_end; ++mv)
26 if (strcmp (mv->name, name) == 0)
33 machvec_init (const char *name)
35 struct ia64_machine_vector *mv;
38 name = acpi_get_sysname();
39 mv = lookup_machvec(name);
41 panic("generic kernel failed to find machine vector for"
42 " platform %s!", name);
45 printk(KERN_INFO "booting generic kernel on platform %s\n", name);
49 machvec_init_from_cmdline(const char *cmdline)
55 if (! (start = strstr(cmdline, "machvec=")) )
56 return machvec_init(NULL);
58 strlcpy(str, start + strlen("machvec="), sizeof(str));
59 if ( (end = strchr(str, ' ')) )
62 return machvec_init(str);
65 #endif /* CONFIG_IA64_GENERIC */
68 machvec_setup (char **arg)
71 EXPORT_SYMBOL(machvec_setup);
74 machvec_timer_interrupt (int irq, void *dev_id)
77 EXPORT_SYMBOL(machvec_timer_interrupt);