Searched refs:timer_get_value (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/drivers/nxp/timer/ | ||
| D | nxp_timer.c | 28 static uint32_t timer_get_value(void) in timer_get_value() function |
Searched refs:timer_get_value (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/drivers/nxp/timer/ | ||
| D | nxp_timer.c | 28 static uint32_t timer_get_value(void) in timer_get_value() function |