Searched refs:high0 (Results 1 – 1 of 1) sorted by relevance
436 volatile uint32_t high0, low, high; in __get_rv_cycle() local439 high0 = __RV_CSR_READ(CSR_MCYCLEH); in __get_rv_cycle()442 if (high0 != high) { in __get_rv_cycle()463 volatile uint32_t high0, low, high; in __get_rv_instret() local466 high0 = __RV_CSR_READ(CSR_MINSTRETH); in __get_rv_instret()469 if (high0 != high) { in __get_rv_instret()491 volatile uint32_t high0, low, high; in __get_rv_time() local494 high0 = __RV_CSR_READ(CSR_TIMEH); in __get_rv_time()497 if (high0 != high) { in __get_rv_time()