123456789101112131415161718192021222324252627282930313233343536 |
- /* Copyright 2018 SiFive, Inc */
- /* SPDX-License-Identifier: Apache-2.0 */
- #ifndef METAL__TIMER_H
- #define METAL__TIMER_H
- /*!
- * @file timer.h
- * @brief API for reading and manipulating the machine timer
- */
- /*!
- * @brief Read the machine cycle count
- * @param hartid The hart ID to read the cycle count of
- * @param cyclecount The variable to hold the value
- * @return 0 upon success
- */
- int metal_timer_get_cyclecount(int hartid, unsigned long long *cyclecount);
- /*!
- * @brief Get the machine timebase frequency
- * @param hartid The hart ID to read the timebase of
- * @param timebase The variable to hold the value
- * @return 0 upon success
- */
- int metal_timer_get_timebase_frequency(int hartid, unsigned long long *timebase);
- /*!
- * @brief Set the machine timer tick interval in seconds
- * @param hartid The hart ID to read the timebase of
- * @param second The number of seconds to set the tick interval to
- * @return 0 upon success
- */
- int metal_timer_set_tick(int hartid, int second);
- #endif
|