1 #include <linux/config.h>
3 #ifdef CONFIG_IA64_GENERIC
5 #include <linux/kernel.h>
6 #include <linux/string.h>
9 #include <asm/machvec.h>
11 struct ia64_machine_vector ia64_mv;
14 * Most platforms use this routine for mapping page frame addresses
15 * into a memory map index.
18 map_nr_dense (void *addr)
20 return MAP_NR_DENSE(addr);
23 static struct ia64_machine_vector *
24 lookup_machvec (const char *name)
26 extern struct ia64_machine_vector machvec_start[];
27 extern struct ia64_machine_vector machvec_end[];
28 struct ia64_machine_vector *mv;
30 for (mv = machvec_start; mv < machvec_end; ++mv)
31 if (strcmp (mv->name, name) == 0)
38 machvec_init (const char *name)
40 struct ia64_machine_vector *mv;
42 mv = lookup_machvec(name);
44 panic("generic kernel failed to find machine vector for platform %s!", name);
47 printk(KERN_INFO "booting generic kernel on platform %s\n", name);
50 #endif /* CONFIG_IA64_GENERIC */