| /* | |
| * Unlike ARM32 this is NOT automatically generated. DONT delete it | |
| * Instead, consider FIXME-ing it so its auto-detected. | |
| */ | |
| #ifndef __ASM_ARM_MACH_TYPE_H | |
| #define __ASM_ARM_MACH_TYPE_H | |
| #ifndef __ASSEMBLY__ | |
| extern unsigned int __machine_arch_type; | |
| #endif | |
| #define MACH_TYPE_ARCHIMEDES 10 | |
| #define MACH_TYPE_A5K 11 | |
| #ifdef CONFIG_ARCH_ARC | |
| # define machine_arch_type MACH_TYPE_ARCHIMEDES | |
| # define machine_is_archimedes() (machine_arch_type == MACH_TYPE_ARCHIMEDES) | |
| #else | |
| # define machine_is_archimedes() (0) | |
| #endif | |
| #ifdef CONFIG_ARCH_A5K | |
| # define machine_arch_type MACH_TYPE_A5K | |
| # define machine_is_a5k() (machine_arch_type == MACH_TYPE_A5K) | |
| #else | |
| # define machine_is_a5k() (0) | |
| #endif | |
| #ifndef machine_arch_type | |
| #error Unknown machine type | |
| #define machine_arch_type __machine_arch_type | |
| #endif | |
| #endif |