Go to the documentation of this file.
6 #include <linux/kernel.h>
7 #include <linux/sched.h>
11 #include <linux/timex.h>
14 #include <asm/sn/klconfig.h>
15 #include <asm/sn/arch.h>
30 printk(
"find_component: Bad pointer: 0x%p\n", kli);
109 printk(
"sn_get_cpuinfo: illegal cpuid 0x%lx\n", cpu);