2 * Copyright (C) 2017 Andes Technology Corporation
3 * Rick Chen, Andes Technology Corporation <rick@andestech.com>
5 * SPDX-License-Identifier: GPL-2.0+
8 #ifndef __ASM_RISCV_MACH_TYPE_H
9 #define __ASM_RISCV_MACH_TYPE_H
12 /* The type of machine we're running on */
13 extern unsigned int __machine_arch_type;
16 #define MACH_TYPE_AE250 1
18 #ifdef CONFIG_ARCH_AE250
19 # ifdef machine_arch_type
20 # undef machine_arch_type
21 # define machine_arch_type __machine_arch_type
23 # define machine_arch_type MACH_TYPE_AE250
25 # define machine_is_ae250() (machine_arch_type == MACH_TYPE_AE250)
27 # define machine_is_ae250() (1)
30 #endif /* __ASM_RISCV_MACH_TYPE_H */