| * 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 |
| extern unsigned int __machine_arch_type; |
| #define MACH_TYPE_ARCHIMEDES 10 |
| # define machine_arch_type MACH_TYPE_ARCHIMEDES |
| # define machine_is_archimedes() (machine_arch_type == MACH_TYPE_ARCHIMEDES) |
| # define machine_is_archimedes() (0) |
| # define machine_arch_type MACH_TYPE_A5K |
| # define machine_is_a5k() (machine_arch_type == MACH_TYPE_A5K) |
| # define machine_is_a5k() (0) |
| #ifndef machine_arch_type |
| #error Unknown machine type |
| #define machine_arch_type __machine_arch_type |