Searched refs:socfpga_get_timer_value (Results 1 – 1 of 1) sorted by relevance
29 static uint32_t socfpga_get_timer_value(void) in socfpga_get_timer_value() function42 plat_timer_ops.get_timer_value = socfpga_get_timer_value; in socfpga_delay_timer_init_args()
