| /* |
| * 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 |
| |
| #include <linux/config.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 |