Searched refs:CNTPCT_READ (Results 1 – 1 of 1) sorted by relevance
95 static inline uint64_t CNTPCT_READ(void) in CNTPCT_READ() function390 CNTP_CVAL_WRITE(CNTPCT_READ() + tx_timer_delay); in _tx_platform_initialize_low_level()800 t = CNTPCT_READ(); in tx_zynqmp_udelay()803 while ((int64_t) (t - CNTPCT_READ()) > 0) {} in tx_zynqmp_udelay()
