forked from Minki/linux
62c4f0a2d5
Signed-off-by: David Woodhouse <dwmw2@infradead.org>
37 lines
843 B
C
37 lines
843 B
C
/*
|
|
* 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
|