Searched refs:socfpga_get_timer_value (Results 1 – 1 of 1) sorted by relevance
20 static uint32_t socfpga_get_timer_value(void) in socfpga_get_timer_value() function33 plat_timer_ops.get_timer_value = socfpga_get_timer_value; in socfpga_delay_timer_init_args()
Completed in 2 milliseconds