2 * Unlike ARM32 this is NOT automatically generated. DONT delete it
3 * Instead, consider FIXME-ing it so its auto-detected.
6 #ifndef __ASM_ARM_MACH_TYPE_H
7 #define __ASM_ARM_MACH_TYPE_H
9 #include <linux/config.h>
12 extern unsigned int __machine_arch_type
;
15 #define MACH_TYPE_ARCHIMEDES 10
16 #define MACH_TYPE_A5K 11
18 #ifdef CONFIG_ARCH_ARC
19 # define machine_arch_type MACH_TYPE_ARCHIMEDES
20 # define machine_is_archimedes() (machine_arch_type == MACH_TYPE_ARCHIMEDES)
22 # define machine_is_archimedes() (0)
25 #ifdef CONFIG_ARCH_A5K
26 # define machine_arch_type MACH_TYPE_A5K
27 # define machine_is_a5k() (machine_arch_type == MACH_TYPE_A5K)
29 # define machine_is_a5k() (0)
32 #ifndef machine_arch_type
33 #error Unknown machine type
34 #define machine_arch_type __machine_arch_type