platform_init_timer (reference) in projects: platform

Searched refs:platform_init_timer (Results 1 – 6 of 6) sorted by relevance

/platform/alterasoc/
A D	platform_p.h	`12 void platform_init_timer(uint32_t freq);`
/platform/armemu/
A D	platform_p.h	`11 void platform_init_timer(void);`
A D	platform.c	`21 platform_init_timer(); in platform_early_init()`
A D	timer.c	`58 void platform_init_timer(void) { in platform_init_timer() function`
/platform/zynq/
A D	platform_p.h	`11 void platform_init_timer(uint32_t freq);`
A D	timer.c	`100 void platform_init_timer(void) {`

Completed in 10 milliseconds