18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-or-later
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci * Mapping of DWARF debug register numbers into register names.
48c2ecf20Sopenharmony_ci *
58c2ecf20Sopenharmony_ci * Copyright (c) 2015 Cadence Design Systems Inc.
68c2ecf20Sopenharmony_ci */
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ci#include <stddef.h>
98c2ecf20Sopenharmony_ci#include <dwarf-regs.h>
108c2ecf20Sopenharmony_ci
118c2ecf20Sopenharmony_ci#define XTENSA_MAX_REGS 16
128c2ecf20Sopenharmony_ci
138c2ecf20Sopenharmony_ciconst char *xtensa_regs_table[XTENSA_MAX_REGS] = {
148c2ecf20Sopenharmony_ci	"a0", "a1", "a2", "a3", "a4", "a5", "a6", "a7",
158c2ecf20Sopenharmony_ci	"a8", "a9", "a10", "a11", "a12", "a13", "a14", "a15",
168c2ecf20Sopenharmony_ci};
178c2ecf20Sopenharmony_ci
188c2ecf20Sopenharmony_ciconst char *get_arch_regstr(unsigned int n)
198c2ecf20Sopenharmony_ci{
208c2ecf20Sopenharmony_ci	return n < XTENSA_MAX_REGS ? xtensa_regs_table[n] : NULL;
218c2ecf20Sopenharmony_ci}
22