platform_timer_get_frequency (reference) in projects: hyp

Searched refs:platform_timer_get_frequency (Results 1 – 5 of 5) sorted by relevance

/hyp/interfaces/platform/include/
A D	platform_timer.h	`16 platform_timer_get_frequency(void);`
/hyp/core/timer_null/src/
A D	timer_queue_null.c	`21 return platform_timer_get_frequency(); in timer_get_timer_frequency()`
/hyp/platform/arm_arch_timer/aarch64/src/
A D	platform_timer.c	`56 platform_timer_get_frequency(void) in platform_timer_get_frequency() function`
/hyp/core/ipi/src/
A D	ipi.c	`362 uint32_t freq = platform_timer_get_frequency(); in ipi_handle_scheduler_stop()`
/hyp/core/timer/src/
A D	timer_queue.c	`58 return platform_timer_get_frequency(); in timer_get_timer_frequency()`

Completed in 11 milliseconds