2 * Copyright (C) 2014 Atmel
3 * Bo Shen <voice.shen@atmel.com>
5 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/arch/sama5d4.h>
13 unsigned int extension_id = get_extension_chip_id();
16 switch (extension_id) {
17 case ARCH_EXID_SAMA5D41:
19 case ARCH_EXID_SAMA5D42:
21 case ARCH_EXID_SAMA5D43:
23 case ARCH_EXID_SAMA5D44:
26 return "Unknown CPU type";
29 return "Unknown CPU type";