// SPDX-License-Identifier: GPL-2.0
#include <errno.h>
#include <dwarf-regs.h>
#include "../../../arch/arm64/include/uapi/asm/perf_regs.h"

int __get_dwarf_regnum_for_perf_regnum_arm64(int perf_regnum)
{
        if (perf_regnum < 0 || perf_regnum >= PERF_REG_ARM64_MAX)
                return -ENOENT;

        return perf_regnum;
}