/* * Joshua Henderson <joshua.henderson@microchip.com> * Copyright (C) 2015 Microchip Technology Inc. All rights reserved. * * This file is subject to the terms and conditions of the GNU General Public * License. See the file "COPYING" in the main directory of this archive * for more details. */ #ifndef __ASM_MACH_PIC32_CPU_FEATURE_OVERRIDES_H #define __ASM_MACH_PIC32_CPU_FEATURE_OVERRIDES_H /* * CPU feature overrides for PIC32 boards */ #ifdef CONFIG_CPU_MIPS32 #define cpu_has_vint 1 #define cpu_has_veic 0 #define cpu_has_tlb 1 #define cpu_has_4kex 1 #define cpu_has_4k_cache 1 #define cpu_has_fpu 0 #define cpu_has_counter 1 #define cpu_has_llsc 1 #define cpu_has_nofpuex 0 #define cpu_icache_snoops_remote_store 1 #endif #ifdef CONFIG_CPU_MIPS64 #error This platform does not support 64bit. #endif #endif /* __ASM_MACH_PIC32_CPU_FEATURE_OVERRIDES_H */