#include <rtthread.h>
#include "pmu.h"

void rt_hw_pmu_dump_feature(void)
{
    unsigned long reg;

    reg = rt_hw_pmu_get_control();
    rt_kprintf("ARM PMU Implementor: %c, ID code: %02x, %d counters\n",
               reg >> 24, (reg >> 16) & 0xff, (reg >> 11) & 0x1f);
    RT_ASSERT(ARM_PMU_CNTER_NR == ((reg >> 11) & 0x1f));
}