platform-rdcycle.h

// Copyright Microsoft and CHERIoT Contributors.
// SPDX-License-Identifier: MIT
 
#pragma once
 
#include <cdefs.h>
 
/// Read the least significant word of the cycle counter.
__always_inline static int rdcycle()
{
    int cycles;
    // CHERIoT-Kudu does not yet implement the "cycle" CSR, so read mcycle.
    __asm__ volatile("csrr %0, mcycle" : "=r"(cycles));
    return cycles;
}