Searched refs:platform_init_timer (Results 1 – 2 of 2) sorted by relevance
| /aosp_15_r20/trusty/kernel/platform/vexpress-a15/ | ||
| H A D | platform_p.h | 26 void platform_init_timer(void); |
| H A D | timer.c | 92 void platform_init_timer(void) { in platform_init_timer() function |