Home
last modified time | relevance | path

Searched refs:max_fetch_count (Results 1 – 2 of 2) sorted by relevance

/aosp_15_r20/external/trusty/arm-trusted-firmware/drivers/nxp/timer/
Dnxp_timer.c35 uint8_t max_fetch_count = 10U; in timer_get_value() local
42 while (temp != cntpct && max_fetch_count) { in timer_get_value()
47 max_fetch_count--; in timer_get_value()
/aosp_15_r20/external/arm-trusted-firmware/drivers/nxp/timer/
H A Dnxp_timer.c35 uint8_t max_fetch_count = 10U; in timer_get_value() local
42 while (temp != cntpct && max_fetch_count) { in timer_get_value()
47 max_fetch_count--; in timer_get_value()