1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /*
3  * Mapping of DWARF debug register numbers into register names.
4  *
5  * Copyright (c) 2015 Cadence Design Systems Inc.
6  */
7 
8 #include <stddef.h>
9 #include <dwarf-regs.h>
10 
11 #define XTENSA_MAX_REGS 16
12 
13 const char *xtensa_regs_table[XTENSA_MAX_REGS] = {
14 	"a0", "a1", "a2", "a3", "a4", "a5", "a6", "a7",
15 	"a8", "a9", "a10", "a11", "a12", "a13", "a14", "a15",
16 };
17 
18 const char *get_arch_regstr(unsigned int n)
19 {
20 	return n < XTENSA_MAX_REGS ? xtensa_regs_table[n] : NULL;
21 }
22