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