Searched refs:arch_cpu_type (Results 1 – 2 of 2) sorted by relevance
28 int arch_cpu_type; variable60 arch_cpu_type = args->arch_args.cpu_type; in arch_cpu_init()66 switch (arch_cpu_type) { in arch_cpu_init()82 panic("unknown cpu_type %d\n", arch_cpu_type); in arch_cpu_init()
539 extern int arch_cpu_type;