// SPDX-License-Identifier: GPL-2.0

#include "../perf_regs.h"
#include "../../arch/arm/include/perf_regs.h"

uint64_t __perf_reg_mask_arm(bool intr __maybe_unused)
{
        return PERF_REGS_MASK;
}

const char *__perf_reg_name_arm(int id)
{
        switch (id) {
        case PERF_REG_ARM_R0:
                return "r0";
        case PERF_REG_ARM_R1:
                return "r1";
        case PERF_REG_ARM_R2:
                return "r2";
        case PERF_REG_ARM_R3:
                return "r3";
        case PERF_REG_ARM_R4:
                return "r4";
        case PERF_REG_ARM_R5:
                return "r5";
        case PERF_REG_ARM_R6:
                return "r6";
        case PERF_REG_ARM_R7:
                return "r7";
        case PERF_REG_ARM_R8:
                return "r8";
        case PERF_REG_ARM_R9:
                return "r9";
        case PERF_REG_ARM_R10:
                return "r10";
        case PERF_REG_ARM_FP:
                return "fp";
        case PERF_REG_ARM_IP:
                return "ip";
        case PERF_REG_ARM_SP:
                return "sp";
        case PERF_REG_ARM_LR:
                return "lr";
        case PERF_REG_ARM_PC:
                return "pc";
        default:
                return NULL;
        }

        return NULL;
}

uint64_t __perf_reg_ip_arm(void)
{
        return PERF_REG_ARM_PC;
}

uint64_t __perf_reg_sp_arm(void)
{
        return PERF_REG_ARM_SP;
}