rte_pmu_pmc_x86_64.h

/* SPDX-License-Identifier: BSD-3-Clause
 * Copyright(c) 2025 Marvell.
 */
 
#ifndef RTE_PMU_PMC_X86_64_H
#define RTE_PMU_PMC_X86_64_H
 
#include <rte_common.h>
 
static __rte_always_inline uint64_t
rte_pmu_pmc_read(int index)
{
    uint64_t low, high;
 
    asm volatile(
        "rdpmc\n"
        : "=a" (low), "=d" (high)
        : "c" (index)
    );
 
    return low | (high << 32);
}
#define rte_pmu_pmc_read rte_pmu_pmc_read
 
#endif /* RTE_PMU_PMC_X86_64_H */