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
get_arch_regstr(unsigned int n)18 const char *get_arch_regstr(unsigned int n)
19 {
20 return n < XTENSA_MAX_REGS ? xtensa_regs_table[n] : NULL;
21 }
22