Home
last modified time | relevance | path

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

/aosp_15_r20/external/trusty/lk/dev/timer/arm_generic/include/dev/timer/
Darm_generic.h29 void arm_generic_timer_init(int irq, uint32_t freq_override);
/aosp_15_r20/trusty/hardware/nxp/platform/imx/
Dplatform.c113 arm_generic_timer_init(ARM_GENERIC_TIMER_INT, 0); in platform_after_vm_init()
/aosp_15_r20/trusty/kernel/platform/vexpress-a15/
H A Dplatform.c130 arm_generic_timer_init(ARM_GENERIC_TIMER_INT, 0); in platform_early_init()
/aosp_15_r20/trusty/kernel/platform/generic-arm64/
H A Dplatform.c266 arm_generic_timer_init(ARM_GENERIC_TIMER_INT, 0); in platform_after_vm_init()
/aosp_15_r20/external/trusty/lk/dev/timer/arm_generic/
Darm_generic_timer.c341 void arm_generic_timer_init(int irq, uint32_t freq_override) in arm_generic_timer_init() function