Searched refs:arm_arch_timer_set_irq_mask (Results 1 – 4 of 4) sorted by relevance
110 arm_arch_timer_set_irq_mask(false); in arm_arch_timer_compare_isr()112 arm_arch_timer_set_irq_mask(true); in arm_arch_timer_compare_isr()164 arm_arch_timer_set_irq_mask(false); in sys_clock_set_timeout()225 arm_arch_timer_set_irq_mask(false); in smp_timer_init()244 arm_arch_timer_set_irq_mask(false); in sys_clock_driver_init()
48 static ALWAYS_INLINE void arm_arch_timer_set_irq_mask(bool mask) in arm_arch_timer_set_irq_mask() function
106 static ALWAYS_INLINE void arm_arch_timer_set_irq_mask(bool mask) in arm_arch_timer_set_irq_mask() function
57 static ALWAYS_INLINE void arm_arch_timer_set_irq_mask(bool mask) in arm_arch_timer_set_irq_mask() function
