Searched refs:platform_get_timer_interrupt (Results 1 - 10 of 10) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dplat_arm_vm.c90 uint32_t platform_get_timer_interrupt(void){ function
H A Dplat_cn88xx.c147 uint32_t platform_get_timer_interrupt(void){ function
H A Dplat_imx8x.c150 uint32_t platform_get_timer_interrupt(void){ function
H A Dplat_qemu.c150 uint32_t platform_get_timer_interrupt(void){ function
H A Dplat_rpi3.c153 uint32_t platform_get_timer_interrupt(void){ function
H A Dtimers.c70 err = platform_enable_interrupt(platform_get_timer_interrupt(), 0, 0, 0);
H A Dplat_apm88xxxx.c154 uint32_t platform_get_timer_interrupt(void){ function
/barrelfish-master/kernel/include/arch/arm/
H A Dplatform.h111 uint32_t platform_get_timer_interrupt(void);
/barrelfish-master/kernel/arch/armv7/
H A Dplat_a15mpcore.c109 uint32_t platform_get_timer_interrupt(void){ function
H A Dplat_a9mpcore.c118 uint32_t platform_get_timer_interrupt(void){ function

Completed in 40 milliseconds