Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dtime.c278 static void check_timer_irq_cfg(unsigned int irq, const char *which) in check_timer_irq_cfg() function
311 check_timer_irq_cfg(timer_irq[TIMER_HYP_PPI], "hypervisor"); in init_timer_interrupt()
312 check_timer_irq_cfg(timer_irq[TIMER_VIRT_PPI], "virtual"); in init_timer_interrupt()
313 check_timer_irq_cfg(timer_irq[TIMER_PHYS_NONSECURE_PPI], "NS-physical"); in init_timer_interrupt()

Completed in 2 milliseconds